Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more complete dockables;
authorwenzelm
Thu, 15 Jul 2021 21:21:16 +0200
changeset 73996 f3409ced4df2
parent 73995 de82b1251971
child 73997 0f61cd0ce803
more complete dockables;
src/Tools/jEdit/jedit_main/dockables.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/jedit_main/dockables.scala	Thu Jul 15 21:07:03 2021 +0200
+++ b/src/Tools/jEdit/jedit_main/dockables.scala	Thu Jul 15 21:21:16 2021 +0200
@@ -22,6 +22,12 @@
 class Graphview_Dockable(view: View, position: String)
   extends isabelle.jedit.Graphview_Dockable(view, position)
 
+class Monitor_Dockable(view: View, position: String)
+  extends isabelle.jedit.Monitor_Dockable(view, position)
+
+class Output_Dockable(view: View, position: String)
+  extends isabelle.jedit.Output_Dockable(view, position)
+
 class Protocol_Dockable(view: View, position: String)
   extends isabelle.jedit.Protocol_Dockable(view, position)
 
@@ -40,6 +46,9 @@
 class State_Dockable(view: View, position: String)
   extends isabelle.jedit.State_Dockable(view, position)
 
+class Symbols_Dockable(view: View, position: String)
+  extends isabelle.jedit.Symbols_Dockable(view, position)
+
 class Syslog_Dockable(view: View, position: String)
   extends isabelle.jedit.Syslog_Dockable(view, position)
isabelle