688689690691692693694695696697698
} public void disableTextPaneUndo() { XJUndo undo = getUndo(getTextPane()); if(undo != null) undo.disableUndo(); } public void undoManagerWillUndo(boolean redo) { }
547548549550551552553554555556557
} public void disableUndo() { XJUndo undo = getTextPaneUndo(); if(undo != null) undo.disableUndo(); } public void enableUndo() { XJUndo undo = getTextPaneUndo(); if(undo != null)