From c954e7c8d0953fee214bf897608410a1bc41ec13 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Tue, 14 Jun 2005 10:44:14 +0000
Subject: [PATCH] Double click to launch file browser

---
 src/jalview/jbgui/GPreferences.java |    1 +
 1 file changed, 1 insertion(+)

diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java
index 2ab6edd..04ac596 100755
--- a/src/jalview/jbgui/GPreferences.java
+++ b/src/jalview/jbgui/GPreferences.java
@@ -159,6 +159,7 @@ public class GPreferences extends JPanel {
         startupFileTextfield.setBounds(new Rectangle(122, 202, 309, 20));
         startupFileTextfield.addMouseListener(new MouseAdapter() {
                 public void mouseClicked(MouseEvent e) {
+                  if(e.getClickCount()>1)
                     startupFileTextfield_mouseClicked();
                 }
             });
-- 
1.7.10.2