more complete dockables;
authorwenzelm
Thu, 15 Jul 2021 21:21:16 +0200
changeset 74260 f3409ced4df2
parent 74259 de82b1251971
child 74261 0f61cd0ce803
more complete dockables;
src/Tools/jEdit/jedit_main/dockables.scala
--- 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)