X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGFinder.java;fp=src%2Fjalview%2Fjbgui%2FGFinder.java;h=c5488f048edaf7359b545b3277f7ebfae31e3fbe;hb=3459a8a691cb22508d7067f240b7254e588e77d3;hp=9788fba27fe3f03fd61d744b3736674d6cfa1670;hpb=5b27f1062b2203c4c31702e205f4c78e1992063e;p=jalview.git

diff --git a/src/jalview/jbgui/GFinder.java b/src/jalview/jbgui/GFinder.java
index 9788fba..c5488f0 100755
--- a/src/jalview/jbgui/GFinder.java
+++ b/src/jalview/jbgui/GFinder.java
@@ -124,21 +124,21 @@ public class GFinder extends JPanel
     searchBox = new JvCacheableInputBox<>(FINDER_CACHE_KEY, 25);
     searchBox.getComponent().setFont(VERDANA_12);
     searchBox.addCaretListener(new CaretListener()
-            {
-              @Override
-              public void caretUpdate(CaretEvent e)
-              {
-                textfield_caretUpdate();
-              }
-            });
+    {
+      @Override
+      public void caretUpdate(CaretEvent e)
+      {
+        textfield_caretUpdate();
+      }
+    });
     searchBox.addKeyListener(new KeyAdapter()
-            {
-              @Override
-              public void keyPressed(KeyEvent e)
-              {
-                textfield_keyPressed(e);
-              }
-            });
+    {
+      @Override
+      public void keyPressed(KeyEvent e)
+      {
+        textfield_keyPressed(e);
+      }
+    });
     centrePanel.add(searchBox.getComponent());
 
     /*
@@ -156,7 +156,7 @@ public class GFinder extends JPanel
     ignoreHidden.setText(MessageManager.getString("label.ignore_hidden"));
     ignoreHidden.setToolTipText(
             MessageManager.getString("label.ignore_hidden_tooltip"));
-    
+
     centrePanel.add(caseSensitive);
     centrePanel.add(searchDescription);
     centrePanel.add(ignoreHidden);