On 01.07.17 20:46, Christian Sternagel wrote:
It only took me some time to find the OUTPUT "panel" (View ~> Output) ;)
That is a plain-text channel of VSCode.
There is also a "State" panel that imitates the dockable of the same
name in Isabelle/jEdit. You will get to that via the "isabelle.state"
command, e.g. use the SHIFT-CONTROL-P command palette and search for
"Isabelle" commands. It has the description "Show State".
Wiring up that GUI panel required a whole lot of tricks, but it should
be now trivial to make more panels. Although, this poses the problem of
multi-window management.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
