670671672673674675676677678679680
} public void beginTextPaneUndoGroup(String name) { XJUndo undo = getUndo(getTextPane()); if(undo != null) undo.beginUndoGroup(name); } public void endTextPaneUndoGroup() { XJUndo undo = getUndo(getTextPane()); if(undo != null)