src/Tools/jEdit/src/actions.xml

simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);

<?xml version="1.0"?>
<!DOCTYPE ACTIONS SYSTEM "actions.dtd">

<ACTIONS>
	<ACTION NAME="isabelle.theories-panel">
		<CODE>
			wm.addDockableWindow("isabelle-theories");
		</CODE>
	</ACTION>
	<ACTION NAME="isabelle.timing-panel">
		<CODE>
			wm.addDockableWindow("isabelle-timing");
		</CODE>
	</ACTION>
	<ACTION NAME="isabelle.syslog-panel">
		<CODE>
			wm.addDockableWindow("isabelle-syslog");
		</CODE>
	</ACTION>
	<ACTION NAME="isabelle.documentation-panel">
		<CODE>
			wm.addDockableWindow("isabelle-documentation");
		</CODE>
	</ACTION>
	<ACTION NAME="isabelle.readme-panel">
		<CODE>
			wm.addDockableWindow("isabelle-readme");
		</CODE>
	</ACTION>
	<ACTION NAME="isabelle.output-panel">
		<CODE>
			wm.addDockableWindow("isabelle-output");
		</CODE>
	</ACTION>
	<ACTION NAME="isabelle.raw-output-panel">
		<CODE>
			wm.addDockableWindow("isabelle-raw-output");
		</CODE>
	</ACTION>
	<ACTION NAME="isabelle.protocol-panel">
		<CODE>
			wm.addDockableWindow("isabelle-protocol");
		</CODE>
	</ACTION>
	<ACTION NAME="isabelle.monitor-panel">
		<CODE>
			wm.addDockableWindow("isabelle-monitor");
		</CODE>
	</ACTION>
	<ACTION NAME="isabelle.symbols-panel">
		<CODE>
			wm.addDockableWindow("isabelle-symbols");
		</CODE>
	</ACTION>
	<ACTION NAME="isabelle.set-continuous-checking">
	  <CODE>
	    isabelle.jedit.PIDE.set_continuous_checking();
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.reset-continuous-checking">
	  <CODE>
	    isabelle.jedit.PIDE.reset_continuous_checking();
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.toggle-continuous-checking">
	  <CODE>
	    isabelle.jedit.PIDE.toggle_continuous_checking();
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.increase-font-size">
	  <CODE>
	    isabelle.jedit.Isabelle.increase_font_size(view);
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.increase-font-size2">
	  <CODE>
	    isabelle.jedit.Isabelle.increase_font_size(view);
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.decrease-font-size">
	  <CODE>
	    isabelle.jedit.Isabelle.decrease_font_size(view);
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.decrease-font-size2">
	  <CODE>
	    isabelle.jedit.Isabelle.decrease_font_size(view);
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.control-sub">
	  <CODE>
	    isabelle.jedit.Isabelle.control_sub(textArea);
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.control-sup">
	  <CODE>
	    isabelle.jedit.Isabelle.control_sup(textArea);
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.control-isub">
	  <CODE>
	    isabelle.jedit.Isabelle.control_isub(textArea);
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.control-isup">
	  <CODE>
	    isabelle.jedit.Isabelle.control_isup(textArea);
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.control-bold">
	  <CODE>
	    isabelle.jedit.Isabelle.control_bold(textArea);
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.control-reset">
	  <CODE>
	    isabelle.jedit.Isabelle.control_reset(textArea);
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.input-bsub">
	  <CODE>
	    isabelle.jedit.Isabelle.input_bsub(textArea);
	  </CODE>
	</ACTION>
	<ACTION NAME="isabelle.input-bsup">
	  <CODE>
	    isabelle.jedit.Isabelle.input_bsup(textArea);
	  </CODE>
	</ACTION>
</ACTIONS>