equal
deleted
inserted
replaced
142 } |
142 } |
143 |
143 |
144 def sledgehammer_dockable(view: View): Option[Sledgehammer_Dockable] = |
144 def sledgehammer_dockable(view: View): Option[Sledgehammer_Dockable] = |
145 wm(view).getDockableWindow("isabelle-sledgehammer") match { |
145 wm(view).getDockableWindow("isabelle-sledgehammer") match { |
146 case dockable: Sledgehammer_Dockable => Some(dockable) |
146 case dockable: Sledgehammer_Dockable => Some(dockable) |
|
147 case _ => None |
|
148 } |
|
149 |
|
150 def state_dockable(view: View): Option[State_Dockable] = |
|
151 wm(view).getDockableWindow("isabelle-state") match { |
|
152 case dockable: State_Dockable => Some(dockable) |
147 case _ => None |
153 case _ => None |
148 } |
154 } |
149 |
155 |
150 def symbols_dockable(view: View): Option[Symbols_Dockable] = |
156 def symbols_dockable(view: View): Option[Symbols_Dockable] = |
151 wm(view).getDockableWindow("isabelle-symbols") match { |
157 wm(view).getDockableWindow("isabelle-symbols") match { |