X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGPreferences.java;h=aaa73a14d56ccdb63443f8a00e64d8b1a19d5df8;hb=8a6fa9ea9900d0f106529c3f6283e7f9d76dd2cb;hp=7205773209dbbdc3a6a334bff8cdbbc11dd1ff2d;hpb=153dd62dc91da13ae732600e6ea55ddbe15eab39;p=jalview.git

diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java
index 7205773..aaa73a1 100755
--- a/src/jalview/jbgui/GPreferences.java
+++ b/src/jalview/jbgui/GPreferences.java
@@ -186,7 +186,7 @@ public class GPreferences extends JPanel
   protected JCheckBox modellerOutput = new JCheckBox();
 
   protected JPanel dasPanel = new JPanel();
-  
+
   BorderLayout borderLayout4 = new BorderLayout();
 
   protected JPanel wsPanel = new JPanel();
@@ -228,9 +228,6 @@ public class GPreferences extends JPanel
   protected JCheckBox shareSelections = new JCheckBox();
 
   protected JCheckBox followHighlight = new JCheckBox();
-  
-  
-
 
   /**
    * Creates a new GPreferences object.