--- a/src/Pure/PIDE/markup.scala Fri Aug 12 17:53:55 2016 +0200
+++ b/src/Pure/PIDE/markup.scala Fri Aug 12 20:58:05 2016 +0200
@@ -472,6 +472,8 @@
val DIALOG = "dialog"
val Result = new Properties.String(RESULT)
+ val JEDIT_ACTION = "jedit_action"
+
/* protocol message functions */