Re: [isabelle] Dockable panels
> 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 know some people who e.g. edit their LaTeX document on the left half of their screen and look at the result on the right. I don't like doing that, and for this reason I keep both windows superimposed and continuously switch between them.
This archive was generated by a fusion of
Pipermail (Mailman edition) and