Re: [isabelle] Dockable panels

On 19/01/2016 12:24, bnord wrote:
Am 19.01.16 um 12:15 schrieb Jasmin Blanchette:
Larry wrote:
With the latest models, the screen has very high resolution, but one canât
read microscopic fonts. Laptops are still widely used, I think.
Irrespective of this, even on a station, I find that it's easier to move my
eyes up and down than left and right.

And when faced with a long goal, one surely wants to avoid wrapping as much as
possible. This means taking the full screen width, not just half of it.
I second both points, also the vertical alignment allows you to scroll the main
buffer to a position where you have the relevant part of your proof script only
an inch away from the output, which is not possible in the horizontal alignment
where you always have to move your eyes over the entire screen width.

This ability to align text in both buffers and compare it is what I find most useful.



Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.