reconfirm continuous checking on startup, to address common trap of disabling it accidentally;
authorwenzelm
Thu Jul 24 11:51:22 2014 +0200 (2014-07-24)
changeset 576400a28cf866d5d
parent 57639 ba170c8ea578
child 57641 dc59f147b27d
reconfirm continuous checking on startup, to address common trap of disabling it accidentally;
src/Tools/jEdit/src/plugin.scala
     1.1 --- a/src/Tools/jEdit/src/plugin.scala	Thu Jul 24 11:46:40 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/plugin.scala	Thu Jul 24 11:51:22 2014 +0200
     1.3 @@ -263,6 +263,20 @@
     1.4        case Session.Ready =>
     1.5          PIDE.session.update_options(PIDE.options.value)
     1.6          PIDE.init_models()
     1.7 +
     1.8 +        if (!Isabelle.continuous_checking) {
     1.9 +          GUI_Thread.later {
    1.10 +            val answer =
    1.11 +              GUI.confirm_dialog(jEdit.getActiveView,
    1.12 +                "Continuous checking of PIDE document",
    1.13 +                JOptionPane.YES_NO_OPTION,
    1.14 +                "Continuous checking is presently disabled:",
    1.15 +                "editor buffers will remain inactive!",
    1.16 +                "Enable continuous checking now?")
    1.17 +            if (answer == 0) Isabelle.continuous_checking = true
    1.18 +          }
    1.19 +        }
    1.20 +
    1.21          delay_load.invoke()
    1.22  
    1.23        case Session.Shutdown =>