# HG changeset patch
# User wenzelm
# Date 1357312068 -3600
# Node ID bf5cc2a06e87b896f49ccdd815dba5a588ddebfe
# Parent  30bcdd5c8e789e812ca2d23f44a5e0282d9b3570
support TAB in completion: need to configure the component with the key handler;

diff -r 30bcdd5c8e78 -r bf5cc2a06e87 src/Tools/jEdit/patches/jedit/completion
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/patches/jedit/completion	Fri Jan 04 16:07:48 2013 +0100
@@ -0,0 +1,15 @@
+diff -ru 5.0.0/jEdit/org/gjt/sp/jedit/gui/CompletionPopup.java 5.0.0/jEdit-patched/org/gjt/sp/jedit/gui/CompletionPopup.java
+--- 5.0.0/jEdit/org/gjt/sp/jedit/gui/CompletionPopup.java	2012-11-17 16:41:58.000000000 +0100
++++ 5.0.0/jEdit-patched/org/gjt/sp/jedit/gui/CompletionPopup.java	2013-01-04 14:25:57.095172180 +0100
+@@ -113,9 +113,9 @@
+ 		list.setCellRenderer(new CellRenderer());
+ 		list.addKeyListener(keyHandler);
+ 		list.addMouseListener(new MouseHandler());
++		list.setFocusTraversalKeysEnabled(false);
+ 
+ 		JPanel content = new JPanel(new BorderLayout());
+-		content.setFocusTraversalKeysEnabled(false);
+ 		// stupid scrollbar policy is an attempt to work around
+ 		// bugs people have been seeing with IBM's JDK -- 7 Sep 2000
+ 		JScrollPane scroller = new JScrollPane(list,
+