*/
private void init() {
historyBrowserInterface.getHistoryBrowser().addListener
(new HistoryBrowserAdapter() {
public void executePerformed(HistoryBrowserEvent event) {
CommandNamesInfo info =
(CommandNamesInfo) event.getSource();
String details = UNDO_TOOLTIP_PREFIX
+ info.getLastUndoableCommandName();
addItem(createItem(info.getCommandName()), details);
}
public void undoPerformed(HistoryBrowserEvent event) {
CommandNamesInfo info =
(CommandNamesInfo) event.getSource();
String details = UNDO_TOOLTIP_PREFIX
+ info.getLastUndoableCommandName();
removeFirstScrollablePopupMenuItem(details);
}
public void redoPerformed(HistoryBrowserEvent event) {
CommandNamesInfo info =
(CommandNamesInfo) event.getSource();
String details = UNDO_TOOLTIP_PREFIX
+ info.getLastUndoableCommandName();
addItem(createItem(info.getCommandName()), details);
}
public void doCompoundEdit(HistoryBrowserEvent event) {
if (!parent.isEnabled()) {
parent.setEnabled(true);