Merge branch 'develop' into update_212_Dec_merge_with_21125_chamges
[jalview.git] / src / jalview / gui / OverviewPanel.java
index 4b6d79b..5da4ae0 100755 (executable)
@@ -77,7 +77,6 @@ public class OverviewPanel extends JPanel
   private Dimension dim;
   
   private boolean showProgress = !Platform.isJS();
-
   protected ProgressPanel progressPanel;