--- a/src/Pure/PIDE/markup.ML Fri Aug 12 17:53:55 2016 +0200
+++ b/src/Pure/PIDE/markup.ML Fri Aug 12 20:58:05 2016 +0200
@@ -189,6 +189,7 @@
val padding_line: Properties.entry
val padding_command: Properties.entry
val dialogN: string val dialog: serial -> string -> T
+ val jedit_actionN: string
val functionN: string
val assign_update: Properties.T
val removed_versions: Properties.T
@@ -636,6 +637,8 @@
val dialogN = "dialog";
fun dialog i result = (dialogN, [(serialN, print_int i), (resultN, result)]);
+val jedit_actionN = "jedit_action";
+
(* protocol message functions *)