[isabelle-dev] NEWS: State panel
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