Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/pretty_text_area.scala
changeset 53231 423e29f1f304
parent 53227 68cc55ceb7f6
child 53244 ec6011bf2362 
--- a/src/Tools/jEdit/src/pretty_text_area.scala	Tue Aug 27 16:09:28 2013 +0200
+++ b/src/Tools/jEdit/src/pretty_text_area.scala	Tue Aug 27 16:45:32 2013 +0200
@@ -181,13 +181,11 @@
 
           case _ =>
         }
-        if (propagate_keys && !evt.isConsumed)
-          view.getInputHandler.processKeyEvent(evt, View.ACTION_BAR, false)
+        if (propagate_keys) JEdit_Lib.propagate_key(view, evt)
       },
     key_typed = (evt: KeyEvent) =>
       {
-        if (propagate_keys && !evt.isConsumed)
-          view.getInputHandler.processKeyEvent(evt, View.ACTION_BAR, false)
+        if (propagate_keys) JEdit_Lib.propagate_key(view, evt)
       }
     )
   )
isabelle