682683684685686687688689690691692
} public void enableTextPaneUndo() { XJUndo undo = getUndo(getTextPane()); if(undo != null) undo.enableUndo(); } public void disableTextPaneUndo() { XJUndo undo = getUndo(getTextPane()); if(undo != null)
553554555556557558559560561562563
} public void enableUndo() { XJUndo undo = getTextPaneUndo(); if(undo != null) undo.enableUndo(); } public int getTextIndexAtPosition(int x, int y) { return getTextPane().viewToModel(new Point(x, y)); }