src/Tools/jEdit/src/completion_popup.scala
changeset 53398 f8b150e8778b
parent 53397 b179cdfa9d82
child 53405 ed2b48af04d9
--- a/src/Tools/jEdit/src/completion_popup.scala	Wed Sep 04 11:12:00 2013 +0200
+++ b/src/Tools/jEdit/src/completion_popup.scala	Wed Sep 04 12:20:00 2013 +0200
@@ -244,6 +244,11 @@
   list_view.peer.setVisibleRowCount(items.length min 8)
   list_view.peer.setSelectedIndex(0)
 
+  for (cond <-
+    List(JComponent.WHEN_FOCUSED,
+      JComponent.WHEN_ANCESTOR_OF_FOCUSED_COMPONENT,
+      JComponent.WHEN_IN_FOCUSED_WINDOW)) list_view.peer.setInputMap(cond, null)
+
   private def complete_selected(): Boolean =
   {
     list_view.selection.items.toList match {
@@ -283,8 +288,8 @@
               case KeyEvent.VK_ESCAPE =>
                 hide_popup()
                 e.consume
-              case KeyEvent.VK_UP => move_items(-1); e.consume
-              case KeyEvent.VK_DOWN => move_items(1); e.consume
+              case KeyEvent.VK_UP | KeyEvent.VK_KP_UP => move_items(-1); e.consume
+              case KeyEvent.VK_DOWN | KeyEvent.VK_KP_DOWN => move_items(1); e.consume
               case KeyEvent.VK_PAGE_UP => move_pages(-1); e.consume
               case KeyEvent.VK_PAGE_DOWN => move_pages(1); e.consume
               case _ =>