--- a/src/Tools/jEdit/src/actions.xml Thu Jul 15 16:01:04 2021 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,230 +0,0 @@
-<?xml version="1.0"?>
-<!DOCTYPE ACTIONS SYSTEM "actions.dtd">
-
-<ACTIONS>
- <ACTION NAME="isabelle.set-continuous-checking">
- <CODE>
- isabelle.jedit.Isabelle.set_continuous_checking();
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.reset-continuous-checking">
- <CODE>
- isabelle.jedit.Isabelle.reset_continuous_checking();
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.toggle-continuous-checking">
- <CODE>
- isabelle.jedit.Isabelle.toggle_continuous_checking();
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.set-node-required">
- <CODE>
- isabelle.jedit.Isabelle.set_node_required(view);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.reset-node-required">
- <CODE>
- isabelle.jedit.Isabelle.reset_node_required(view);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.toggle-node-required">
- <CODE>
- isabelle.jedit.Isabelle.toggle_node_required(view);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.update-state">
- <CODE>
- isabelle.jedit.Isabelle.update_state(view);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.reset-font-size">
- <CODE>
- isabelle.jedit.Isabelle.reset_font_size();
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.increase-font-size">
- <CODE>
- isabelle.jedit.Isabelle.increase_font_size();
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.increase-font-size2">
- <CODE>
- isabelle.jedit.Isabelle.increase_font_size();
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.decrease-font-size">
- <CODE>
- isabelle.jedit.Isabelle.decrease_font_size();
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.decrease-font-size2">
- <CODE>
- isabelle.jedit.Isabelle.decrease_font_size();
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.newline">
- <CODE>
- isabelle.jedit.Isabelle.newline(textArea);
- </CODE>
- </ACTION>
- <ACTION NAME="toggle-full-screen">
- <CODE>
- isabelle.jedit.Isabelle.toggle_full_screen(view);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.goto-entity">
- <CODE>
- isabelle.jedit.Isabelle.goto_entity(view);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.select-entity">
- <CODE>
- isabelle.jedit.Isabelle.select_entity(textArea);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.complete">
- <CODE>
- isabelle.jedit.Isabelle.complete(view, false);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.tooltip">
- <CODE>
- isabelle.jedit.Isabelle.show_tooltip(view, true);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.message">
- <CODE>
- isabelle.jedit.Isabelle.show_tooltip(view, false);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.first-error">
- <CODE>
- isabelle.jedit.Isabelle.goto_first_error(view);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.last-error">
- <CODE>
- isabelle.jedit.Isabelle.goto_last_error(view);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.prev-error">
- <CODE>
- isabelle.jedit.Isabelle.goto_prev_error(view);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.next-error">
- <CODE>
- isabelle.jedit.Isabelle.goto_next_error(view);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.complete-word">
- <CODE>
- isabelle.jedit.Isabelle.complete(view, true);
- </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-bold">
- <CODE>
- isabelle.jedit.Isabelle.control_bold(textArea);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.control-emph">
- <CODE>
- isabelle.jedit.Isabelle.control_emph(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>
- <ACTION NAME="isabelle.antiquoted_cartouche">
- <CODE>
- isabelle.jedit.Isabelle.antiquoted_cartouche(textArea);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.include-word">
- <CODE>
- isabelle.jedit.Isabelle.update_dictionary(textArea, true, false);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.include-word-permanently">
- <CODE>
- isabelle.jedit.Isabelle.update_dictionary(textArea, true, true);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.exclude-word">
- <CODE>
- isabelle.jedit.Isabelle.update_dictionary(textArea, false, false);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.exclude-word-permanently">
- <CODE>
- isabelle.jedit.Isabelle.update_dictionary(textArea, false, true);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.reset-words">
- <CODE>
- isabelle.jedit.Isabelle.reset_dictionary();
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.toggle-breakpoint">
- <CODE>
- isabelle.jedit.Isabelle.toggle_breakpoint(textArea);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.options">
- <CODE>
- isabelle.jedit.Isabelle.plugin_options(view);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.preview">
- <CODE>
- isabelle.jedit.Document_Model.open_preview(view, false);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.draft">
- <CODE>
- isabelle.jedit.Document_Model.open_preview(view, true);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle-export-browser">
- <CODE>
- isabelle.jedit.Isabelle_Export.open_browser(view);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle-session-browser">
- <CODE>
- isabelle.jedit.Isabelle_Session.open_browser(view);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.keymap-merge">
- <CODE>
- isabelle.jedit.Keymap_Merge.check_dialog(view);
- </CODE>
- </ACTION>
- <ACTION NAME="isabelle.java-monitor">
- <CODE>
- isabelle.jedit.Isabelle.java_monitor(view);
- </CODE>
- </ACTION>
-</ACTIONS>