Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Wed, 04 Sep 2013 17:40:07 +0200
changeset 53407 2add7d4c85bd
parent 53406 d4374a69ddff
child 53408 a67d32e2d26e
tuned;
src/Tools/jEdit/src/completion_popup.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/completion_popup.scala	Wed Sep 04 17:36:37 2013 +0200
+++ b/src/Tools/jEdit/src/completion_popup.scala	Wed Sep 04 17:40:07 2013 +0200
@@ -291,13 +291,17 @@
                 hide_popup()
                 e.consume
               case KeyEvent.VK_UP | KeyEvent.VK_KP_UP if multi =>
-                move_items(-1); e.consume
+                move_items(-1)
+                e.consume
               case KeyEvent.VK_DOWN | KeyEvent.VK_KP_DOWN if multi =>
-                move_items(1); e.consume
+                move_items(1)
+                e.consume
               case KeyEvent.VK_PAGE_UP if multi =>
-                move_pages(-1); e.consume
+                move_pages(-1)
+                e.consume
               case KeyEvent.VK_PAGE_DOWN if multi =>
-                move_pages(1); e.consume
+                move_pages(1)
+                e.consume
               case _ =>
                 if (e.isActionKey || e.isAltDown || e.isMetaDown || e.isControlDown)
                   hide_popup()
isabelle