On Tue, 10 Nov 2015, Mathias Fleury wrote:
As a side question, is there a way to have two different panels docked
at bottom open at the same time (i.e. splitting the bottom area into two
parts and have two different panels in each)?
According to current Isabelle/ba051060d46b, the default layout is to have
Output bottom and State right. Both can be opened/closed independently,
as really required. There is no need to stare at a single output buffer
all the time, as in the old TTY times.
Note that the default Dockable Window Manager cannot handle more than one
window in each of the four areas. In principle, MyDoggyPlugin can do
that, but it has not been maintained in recent years. The underlying
project http://mydoggy.sourceforge.net looks inactive.
The jEdit architecture allows to replace the docking framework
arbitrarily, so it might be worth looking at more active projects like
https://github.com/Benoker/DockingFrames
http://dock.javaforge.com/screenshots.html
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
