From: jprocter Date: Sun, 20 Nov 2011 18:46:45 +0000 (+0000) Subject: Merge branch 'patch_JAL-1004' into develop X-Git-Tag: Jalview_2_9~553 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=c9bcd60e5ed0681116e9bedbd371f7a8b8290126;hp=a9c911922a7220ae6ab84a854f0b065d06c9c52f;p=jalview.git Merge branch 'patch_JAL-1004' into develop --- diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 768e130..0ab111f 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -335,7 +335,8 @@ public class Desktop extends jalview.jbgui.GDesktop implements } }); - this.addMouseListener(new MouseAdapter() + MouseAdapter ma; + this.addMouseListener(ma=new MouseAdapter() { public void mousePressed(MouseEvent evt) { @@ -345,6 +346,8 @@ public class Desktop extends jalview.jbgui.GDesktop implements } } }); + desktop.addMouseListener(ma); + this.addFocusListener(new FocusListener() { @@ -2085,7 +2088,6 @@ public class Desktop extends jalview.jbgui.GDesktop implements } } } - } /**