# HG changeset patch
# User wenzelm
# Date 1406195482 -7200
# Node ID 0a28cf866d5d94efd8f83fdd7517f904f55767df
# Parent  ba170c8ea578f7de8fc5acb1a1d99f3cfe75274b
reconfirm continuous checking on startup, to address common trap of disabling it accidentally;

diff -r ba170c8ea578 -r 0a28cf866d5d src/Tools/jEdit/src/plugin.scala
--- a/src/Tools/jEdit/src/plugin.scala	Thu Jul 24 11:46:40 2014 +0200
+++ b/src/Tools/jEdit/src/plugin.scala	Thu Jul 24 11:51:22 2014 +0200
@@ -263,6 +263,20 @@
       case Session.Ready =>
         PIDE.session.update_options(PIDE.options.value)
         PIDE.init_models()
+
+        if (!Isabelle.continuous_checking) {
+          GUI_Thread.later {
+            val answer =
+              GUI.confirm_dialog(jEdit.getActiveView,
+                "Continuous checking of PIDE document",
+                JOptionPane.YES_NO_OPTION,
+                "Continuous checking is presently disabled:",
+                "editor buffers will remain inactive!",
+                "Enable continuous checking now?")
+            if (answer == 0) Isabelle.continuous_checking = true
+          }
+        }
+
         delay_load.invoke()
 
       case Session.Shutdown =>