command: symbols.encode;

--- a/lib/jedit/plugin/isabelle_dock.scala	Tue Aug 26 16:04:22 2008 +0200
+++ b/lib/jedit/plugin/isabelle_dock.scala	Tue Aug 26 16:36:11 2008 +0200
@@ -118,7 +118,7 @@
     text.setToolTipText("Command line")
     text.addActionListener(new ActionListener {
       def actionPerformed(evt: ActionEvent): Unit = {
-        val command = text.getText
+        val command = IsabellePlugin.symbols.encode(text.getText)
         if (command.length > 0) {
           if (mode == mode_Isar)
             IsabellePlugin.isabelle.command(command)