X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGFinder.java;h=eb4b9102b7fd8d422e066bc3c49f6d3bedd4a344;hb=7047b076a62df177047ceb16c3611efe020bdd76;hp=1ea4ab5fa455ddfcda38bccdcbf1a900e8568ecd;hpb=f4766a7bbcfae845fc95923b01fa14ff83d589ff;p=jalview.git diff --git a/src/jalview/jbgui/GFinder.java b/src/jalview/jbgui/GFinder.java index 1ea4ab5..eb4b910 100755 --- a/src/jalview/jbgui/GFinder.java +++ b/src/jalview/jbgui/GFinder.java @@ -43,7 +43,6 @@ import javax.swing.SwingConstants; import javax.swing.SwingUtilities; import javax.swing.event.CaretEvent; import javax.swing.event.CaretListener; -import javax.swing.text.JTextComponent; public class GFinder extends JPanel { @@ -134,9 +133,9 @@ public class GFinder extends JPanel createFeatures_actionPerformed(); } }); - searchBox.setFont(new java.awt.Font("Verdana", Font.PLAIN, 12)); - ((JTextComponent) searchBox.getEditor().getEditorComponent()) - .addCaretListener(new CaretListener() + searchBox.getComponent() + .setFont(new java.awt.Font("Verdana", Font.PLAIN, 12)); + searchBox.addCaretListener(new CaretListener() { @Override public void caretUpdate(CaretEvent e) @@ -144,8 +143,7 @@ public class GFinder extends JPanel textfield_caretUpdate(e); } }); - searchBox.getEditor().getEditorComponent() - .addKeyListener(new java.awt.event.KeyAdapter() + searchBox.addKeyListener(new java.awt.event.KeyAdapter() { @Override public void keyPressed(KeyEvent e) @@ -169,10 +167,10 @@ public class GFinder extends JPanel actionsPanel.add(createFeatures, null); this.add(jLabelFind, java.awt.BorderLayout.WEST); this.add(actionsPanel, java.awt.BorderLayout.EAST); - this.add(jPanel2, java.awt.BorderLayout.SOUTH); + // this.add(jPanel2, java.awt.BorderLayout.SOUTH); this.add(jPanel3, java.awt.BorderLayout.NORTH); this.add(jPanel4, java.awt.BorderLayout.CENTER); - jPanel4.add(searchBox, java.awt.BorderLayout.NORTH); + jPanel4.add(searchBox.getComponent(), java.awt.BorderLayout.NORTH); JPanel optionsPanel = new JPanel();