Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/patches/jedit/completion
changeset 53431 d2a7b6fe953e
parent 53430 d92578436d47
parent 53425 f5b1f555b73b
child 53432 36ca6764027f
equal deleted inserted replaced
53430:d92578436d47 53431:d2a7b6fe953e 
     1 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
 
       
     2 --- 5.0.0/jEdit/org/gjt/sp/jedit/gui/CompletionPopup.java	2012-11-17 16:41:58.000000000 +0100
 
       
     3 +++ 5.0.0/jEdit-patched/org/gjt/sp/jedit/gui/CompletionPopup.java	2013-01-04 14:25:57.095172180 +0100
 
       
     4 @@ -113,9 +113,9 @@
 
       
     5  		list.setCellRenderer(new CellRenderer());
 
       
     6  		list.addKeyListener(keyHandler);
 
       
     7  		list.addMouseListener(new MouseHandler());
 
       
     8 +		list.setFocusTraversalKeysEnabled(false);
 
       
     9  
       
    10  		JPanel content = new JPanel(new BorderLayout());
 
       
    11 -		content.setFocusTraversalKeysEnabled(false);
 
       
    12  		// stupid scrollbar policy is an attempt to work around
 
       
    13  		// bugs people have been seeing with IBM's JDK -- 7 Sep 2000
 
       
    14  		JScrollPane scroller = new JScrollPane(list,
 
       
    15
isabelle