diff -r 27930cf6f0f7 -r 47e8c8daccae src/Tools/jEdit/src/session_dockable.scala
--- 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)