Double click to launch file browser
authoramwaterhouse <Andrew Waterhouse>
Tue, 14 Jun 2005 10:44:14 +0000 (10:44 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 14 Jun 2005 10:44:14 +0000 (10:44 +0000)
src/jalview/jbgui/GPreferences.java

index 2ab6edd..04ac596 100755 (executable)
@@ -159,6 +159,7 @@ public class GPreferences extends JPanel {
         startupFileTextfield.setBounds(new Rectangle(122, 202, 309, 20));\r
         startupFileTextfield.addMouseListener(new MouseAdapter() {\r
                 public void mouseClicked(MouseEvent e) {\r
+                  if(e.getClickCount()>1)\r
                     startupFileTextfield_mouseClicked();\r
                 }\r
             });\r