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