Re: [isabelle] Isabelle2013-2-RC2 available for testing



On Sat, 30 Nov 2013, Yannick Duchêne (Hibou57) wrote:

Also, while I'm not to beg it, just as a suggestion only if it's possible: when the “Symbols” pan is docked at the bottom of the Isabelle text pan, it could be handy if the text pan could scroll so that the position at the caret is always visible. Actually, if the caret is near the bottom of the text pan, then pushing the “Symbols” button to show the symbols pan, the latter may hide the text where the caret is located, which is not very pleasant.

Whatever happens here is standard jEdit behaviour of the so-called "Dockable Window Manager". It is used a lot in Isabelle/jEdit, and it does a good job up to a certain point.

I have my own list of possible improvements here, but it needs to be sorted out at http://sourceforge.net/projects/jedit/


	Makarius


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