{\r
float threshold = slider.getValue();\r
Vector del;\r
- HistoryItem it;\r
- historyList.push(it = new HistoryItem("Remove redundancy",\r
+ historyList.push(new HistoryItem("Remove redundancy",\r
ap.av.alignment, HistoryItem.HIDE));\r
\r
if ((historyList.size() == 1) ||\r
}\r
}\r
\r
- ap.av.firePropertyChange("alignment", null,\r
- ap.av.getAlignment().getSequences());\r
- ap.av.resetSeqLimits(ap.seqPanel.seqCanvas.getHeight());\r
+ ap.av.firePropertyChange("alignment", null, ap.av.getAlignment().getSequences());\r
+ af.updateEditMenuBar();\r
+\r
\r
if (ap.av.getAlignment().getHeight() < 1)\r
{\r
{\r
}\r
}\r
-\r
- ap.av.updateConservation();\r
- ap.av.updateConsensus();\r
- af.updateEditMenuBar();\r
- ap.repaint();\r
}\r
\r
/**\r