676677678679680681682683684685686
} public void endTextPaneUndoGroup() { XJUndo undo = getUndo(getTextPane()); if(undo != null) undo.endUndoGroup(); } public void enableTextPaneUndo() { XJUndo undo = getUndo(getTextPane()); if(undo != null)