X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FAlignFrame.java;h=f3a8ab579371e4d978c939dfd7f2cb41a06b35c0;hb=a44bf47650800c7fcb0a6d493e1c52e13f4e4e76;hp=adc8a15ba25b60c41aa3a7a4977ff115c12df5b9;hpb=3027bfb4b1b13af8686abcd419888e03141bd672;p=jalview.git diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java index adc8a15..f3a8ab5 100644 --- a/src/jalview/gui/AlignFrame.java +++ b/src/jalview/gui/AlignFrame.java @@ -974,7 +974,7 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener, @Override public void setStatus(String text) { - statusBar.setText(text); + statusBar.setText(text == null || text.isEmpty() ? " " : text); } /* @@ -1203,23 +1203,7 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener, PrintWriter out = new PrintWriter( new FileWriter(backupfiles.getTempFilePath())); - // TESTING code here - boolean TESTING = true; - if (TESTING) - { - out.print("; TESTSTART\n"); - int count = 20; - for (int i = 0; i < count; i++) - { - // Thread.sleep(1000); - out.println("; TEST: " + (count - 1 - i)); - } - } out.print(output); - if (TESTING) - { - out.print("; TESTEND\n"); - } out.close(); this.setTitle(file); statusBar.setText(MessageManager.formatMessage( @@ -3120,7 +3104,7 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener, protected void scaleAbove_actionPerformed(ActionEvent e) { viewport.setScaleAboveWrapped(scaleAbove.isSelected()); - // TODO: do we actually need to update overview for scale above change ? + alignPanel.updateLayout(); alignPanel.paintAlignment(true, false); } @@ -3134,6 +3118,7 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener, protected void scaleLeft_actionPerformed(ActionEvent e) { viewport.setScaleLeftWrapped(scaleLeft.isSelected()); + alignPanel.updateLayout(); alignPanel.paintAlignment(true, false); } @@ -3147,6 +3132,7 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener, protected void scaleRight_actionPerformed(ActionEvent e) { viewport.setScaleRightWrapped(scaleRight.isSelected()); + alignPanel.updateLayout(); alignPanel.paintAlignment(true, false); }