src/Tools/jEdit/src/completion_popup.scala
changeset 53407 2add7d4c85bd
parent 53405 ed2b48af04d9
child 53784 322a3ff42b33
     1.1 --- a/src/Tools/jEdit/src/completion_popup.scala	Wed Sep 04 17:36:37 2013 +0200
     1.2 +++ b/src/Tools/jEdit/src/completion_popup.scala	Wed Sep 04 17:40:07 2013 +0200
     1.3 @@ -291,13 +291,17 @@
     1.4                  hide_popup()
     1.5                  e.consume
     1.6                case KeyEvent.VK_UP | KeyEvent.VK_KP_UP if multi =>
     1.7 -                move_items(-1); e.consume
     1.8 +                move_items(-1)
     1.9 +                e.consume
    1.10                case KeyEvent.VK_DOWN | KeyEvent.VK_KP_DOWN if multi =>
    1.11 -                move_items(1); e.consume
    1.12 +                move_items(1)
    1.13 +                e.consume
    1.14                case KeyEvent.VK_PAGE_UP if multi =>
    1.15 -                move_pages(-1); e.consume
    1.16 +                move_pages(-1)
    1.17 +                e.consume
    1.18                case KeyEvent.VK_PAGE_DOWN if multi =>
    1.19 -                move_pages(1); e.consume
    1.20 +                move_pages(1)
    1.21 +                e.consume
    1.22                case _ =>
    1.23                  if (e.isActionKey || e.isAltDown || e.isMetaDown || e.isControlDown)
    1.24                    hide_popup()