git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
(from parent 1:
a9c9119
)
Merge branch 'patch_JAL-1004' into develop
author
jprocter
<jprocter@compbio.dundee.ac.uk>
Sun, 20 Nov 2011 18:46:45 +0000
(18:46 +0000)
committer
jprocter
<jprocter@compbio.dundee.ac.uk>
Sun, 20 Nov 2011 18:46:45 +0000
(18:46 +0000)
src/jalview/gui/Desktop.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/Desktop.java
b/src/jalview/gui/Desktop.java
index
768e130
..
0ab111f
100644
(file)
--- 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
}
}
}
-
}
/**