Re: [isabelle] Isabelle2016-RC0: HiDPI + Linux
On Tue, 12 Jan 2016, Corey Richardson wrote:
For example, I've attached a screenshot of Isabelle/jEdit in front of a
What is also interesting with the screenshot: you are using the canonical
GUI layout for what would have been called "3-buffer model" in Proof
General 3 or 4. I.e. there is the main text area with separate dockable
windows for Output and State.
How did you figure that out? The ANNOUNCE and NEWS files mention that,
but the Isabelle/jEdit documentation still needs updating. There is also
the standard question how much documentation people actually read.
My hope and my guess is that looking closely at the default startup GUI of
Isabelle/jEdit should make it clear to experienced users how to arrange
these windows in a way they see fit.
This archive was generated by a fusion of
Pipermail (Mailman edition) and