On 07/01/2017 09:21 PM, Makarius Wenzel wrote: > 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.
Oh, okay. > > 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". Nothing happens when I select (by clicking) "Isabelle: Show State" after SHIFT-CONTROL-P and searching for "Isabelle". chris > > 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