X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FAlignFrame.java;h=2d1fc1e0878463422110a800fa1fac41178ef873;hb=1413363ab19270cf3ec7ac5e940c00352404b04e;hp=18465e16681a978d3e9b57c833383221e26c1ba6;hpb=846cdbd9bc4b60826bc5429a117e72fc29347a30;p=jalview.git diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java index 18465e1..2d1fc1e 100755 --- a/src/jalview/gui/AlignFrame.java +++ b/src/jalview/gui/AlignFrame.java @@ -531,10 +531,11 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener, @Override public void run() { - System.err.println("Change support: build services again."); + System.err + .println("Change support JWS1: build services again."); BuildWebServiceMenu(); } - + }); } } @@ -545,18 +546,10 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener, { public void propertyChange(PropertyChangeEvent evt) { - SwingUtilities.invokeLater(new Runnable() - { - - @Override - public void run() - { - System.err.println("Change support: build services again."); - BuildWebServiceMenu(); - } - - }); - } + System.err + .println("Change support JWS2: build services again."); + BuildWebServiceMenu(); + } }); addInternalFrameListener(new javax.swing.event.InternalFrameAdapter() { @@ -619,7 +612,7 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener, annotationPanelMenuItem.setState(av.showAnnotation); viewBoxesMenuItem.setSelected(av.showBoxes); viewTextMenuItem.setSelected(av.showText); - showUnconservedMenuItem.setSelected(av.showUnconserved); + showNonconservedMenuItem.setSelected(av.showUnconserved); showGroupConsensus.setSelected(av.showGroupConsensus); showGroupConservation.setSelected(av.showGroupConservation); showConsensusHistogram.setSelected(av.showConsensusHistogram); @@ -1561,15 +1554,18 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener, if (viewport.hasHiddenColumns) { hiddenColumns = new Vector(); - int hiddenOffset = viewport.getSelectionGroup().getStartRes(); + int hiddenOffset = viewport.getSelectionGroup().getStartRes(), hiddenCutoff = viewport + .getSelectionGroup().getEndRes(); for (int i = 0; i < viewport.getColumnSelection().getHiddenColumns() .size(); i++) { int[] region = (int[]) viewport.getColumnSelection() .getHiddenColumns().elementAt(i); - - hiddenColumns.addElement(new int[] - { region[0] - hiddenOffset, region[1] - hiddenOffset }); + if (region[0] >= hiddenOffset && region[1] <= hiddenCutoff) + { + hiddenColumns.addElement(new int[] + { region[0] - hiddenOffset, region[1] - hiddenOffset }); + } } } @@ -4634,7 +4630,7 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener, */ protected void showUnconservedMenuItem_actionPerformed(ActionEvent e) { - viewport.setShowUnconserved(showUnconservedMenuItem.getState()); + viewport.setShowUnconserved(showNonconservedMenuItem.getState()); alignPanel.paintAlignment(true); } @@ -4717,7 +4713,7 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener, // set view properties for each group for (int g = 0; g < gps.length; g++) { - gps[g].setShowunconserved(viewport.getShowUnconserved()); + gps[g].setShowNonconserved(viewport.getShowUnconserved()); gps[g].setIncludeAllConsSymbols(viewport .isIncludeAllConsensusSymbols()); viewport.alignment.addGroup(gps[g]);