[isabelle-dev] NEWS: State panel

Makarius makarius at sketis.net
Mon Dec 7 16:47:22 CET 2015

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 


More information about the isabelle-dev mailing list