X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FViewSelectionMenu.java;h=f77f41054a4d7b6cf57c61c78341e7cf0f75874c;hb=306825ab43e7e4232a913f304f6d18b532213b83;hp=134164e66bf64b6b56a51874527d703c52f20b4d;hpb=1326cefe1e16d0dd14c8861f5ec21fb60b51e7ba;p=jalview.git diff --git a/src/jalview/gui/ViewSelectionMenu.java b/src/jalview/gui/ViewSelectionMenu.java index 134164e..f77f410 100644 --- a/src/jalview/gui/ViewSelectionMenu.java +++ b/src/jalview/gui/ViewSelectionMenu.java @@ -262,7 +262,7 @@ public class ViewSelectionMenu extends JMenu } } }); - final ViewSelectionMenu us=this; + final ViewSelectionMenu us = this; checkBox.addMouseListener(new MouseAdapter() { @Override