diff -r ab4edf89992f -r 9ebab8b7d73c src/Tools/jEdit/patches/jedit/completion
--- a/src/Tools/jEdit/patches/jedit/completion	Thu Sep 05 01:58:48 2013 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,15 +0,0 @@
-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,
-