--- a/src/Tools/jEdit/src/session_dockable.scala Wed Sep 07 11:00:39 2011 +0200
+++ b/src/Tools/jEdit/src/session_dockable.scala Wed Sep 07 11:17:19 2011 +0200
@@ -66,6 +66,18 @@
}
cancel.tooltip = "Cancel current proof checking process"
+ private val check = new Button("Check") {
+ reactions +=
+ {
+ case ButtonClicked(_) =>
+ Isabelle.document_model(view.getBuffer) match {
+ case None =>
+ case Some(model) => model.full_perspective()
+ }
+ }
+ }
+ check.tooltip = "Commence full proof checking of current buffer"
+
private val logic = Isabelle.logic_selector(Isabelle.Property("logic"))
logic.listenTo(logic.selection)
logic.reactions += {
@@ -73,7 +85,7 @@
}
private val controls =
- new FlowPanel(FlowPanel.Alignment.Right)(session_phase, cancel, logic)
+ new FlowPanel(FlowPanel.Alignment.Right)(check, cancel, session_phase, logic)
add(controls.peer, BorderLayout.NORTH)