122123124125126127128129130131132
MTextPanel panel = getTextPanel(); if (fKind == UNDO) { return panel.canUndo(); } else { return panel.canRedo(); } } public boolean respondsToEventType(int type) {