119120121122123124125126127128129
protected boolean isEnabled() { MTextPanel panel = getTextPanel(); if (fKind == UNDO) { return panel.canUndo(); } else { return panel.canRedo(); } }