Merge branch 'develop' into releases/Release_2_11_2_Branch

[jalview.git] / src / jalview / gui / ViewSelectionMenu.java

diff --git a/src/jalview/gui/ViewSelectionMenu.java b/src/jalview/gui/ViewSelectionMenu.java
index 134164e..f77f410 100644 (file)
--- 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