BorderLayout.PAGE_END);
return counterExampleEditorPanel;
}
private JToolBar prepareRepairToolBar() {
UndoSelectedContextModificationsUIAction undoContextModificationAction =
new UndoSelectedContextModificationsUIAction();
undoContextModificationAction.setViewComponent(this);
undoSelectedModificationsButton = prepareButton(undoContextModificationAction, GUIConstants.UNDO_LAST_CHANGE_BUTTON_TOOLTIP,
GUIConstants.UNDO_LAST_CHANGE_BUTTON_TEXT);
UndoAllContextModificationsUIAction undoAllContextModificationsAction =
new UndoAllContextModificationsUIAction();