}\r
public void applyButton_actionPerformed()\r
{\r
- historyList.push(new HistoryItem("Remove redundancy",\r
- ap.av.alignment, HistoryItem.HIDE));\r
+ // historyList.push(new HistoryItem("Remove redundancy",\r
+ // ap.av.alignment, HistoryItem.HIDE));\r
\r
if ((historyList.size() == 1) ||\r
!ap.alignFrame.historyList.contains(historyList.firstElement()))\r
{\r
- ap.alignFrame.addHistoryItem((HistoryItem) historyList.firstElement());\r
- ap.alignFrame.updateEditMenuBar();\r
+ // ap.alignFrame.addHistoryItem((HistoryItem) historyList.firstElement());\r
+ // ap.alignFrame.updateEditMenuBar();\r
}\r
\r
Vector del = new Vector();\r
\r
public void undoButton_actionPerformed()\r
{\r
- HistoryItem hi = (HistoryItem) historyList.pop();\r
- ap.alignFrame.restoreHistoryItem(hi);\r
+ // HistoryItem hi = (HistoryItem) historyList.pop();\r
+ // ap.alignFrame.restoreHistoryItem(hi);\r
\r
if (historyList.size() == 0)\r
{\r