X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;h=1da4996417658fff03fbcfbaa3254a00ca0448e0;hb=d7a7d7eabcf6079012f4019086df56c48d819ae4;hp=2a72e44c3aeb459d575b9a01f0d40d73a9621a35;hpb=996f06f9ce5d4214d64dbd92e842fe53dd16d6a7;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 2a72e44..1da4996 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() { @@ -2052,7 +2055,6 @@ public class Desktop extends jalview.jbgui.GDesktop implements } } } - } /**