Package org.antlr.xjlib.appkit.undo

Examples of org.antlr.xjlib.appkit.undo.XJUndo


        if(undo)
            disableTextPaneUndo();
    }

    public void beginTextPaneUndoGroup(String name) {
        XJUndo undo = getUndo(getTextPane());
        if(undo != null)
            undo.beginUndoGroup(name);
    }
View Full Code Here


        if(undo != null)
            undo.beginUndoGroup(name);
    }

    public void endTextPaneUndoGroup() {
        XJUndo undo = getUndo(getTextPane());
        if(undo != null)
            undo.endUndoGroup();
    }
View Full Code Here

            String text = mutableText.toString();
            String oldContent = window.getText();

            refactorReplaceEditorText(text);

            XJUndo undo = window.getUndo(window.getTextPane());
            undo.addEditEvent(new UndoableRefactoringEdit(oldContent, text));
        }
View Full Code Here

        if(undo != null)
            undo.endUndoGroup();
    }

    public void enableTextPaneUndo() {
        XJUndo undo = getUndo(getTextPane());
        if(undo != null)
            undo.enableUndo();
    }
View Full Code Here

        if(undo != null)
            undo.enableUndo();
    }

    public void disableTextPaneUndo() {
        XJUndo undo = getUndo(getTextPane());
        if(undo != null)
            undo.disableUndo();
    }
View Full Code Here

            String text = mutableText.toString();
            String oldContent = window.getText();

            refactorReplaceEditorText(text);

            XJUndo undo = window.getUndo(window.getTextPane());
            undo.addEditEvent(new UndoableRefactoringEdit(oldContent, text));
        }
View Full Code Here

    public XJUndo getTextPaneUndo() {
        return parentFrame.getUndo(getTextPane());
    }

    public void disableUndo() {
        XJUndo undo = getTextPaneUndo();
        if(undo != null)
            undo.disableUndo();
    }
View Full Code Here

        if(undo != null)
            undo.disableUndo();
    }

    public void enableUndo() {
        XJUndo undo = getTextPaneUndo();
        if(undo != null)
            undo.enableUndo();
    }
View Full Code Here

        final StringBuilder modifiedText = new StringBuilder(text);
        modifiedText.replace(begin, end, modifiedPortion.toString());

        // replace the text with the modified idented text
        textEditor.disableUndo();
        XJUndo undo = textEditor.getTextPaneUndo();
        undo.addEditEvent(new UndoableRefactoringEdit(text, modifiedText.toString()));
        setText(modifiedText.toString());
        textEditor.enableUndo();

        // adjust the selection
        getCaret().setDot(selectionStart);
View Full Code Here

        Boolean b = (Boolean) getRootPane().getClientProperty(PROPERTY_WINDOW_MODIFIED);
        return b != null && b;
    }

    public void registerUndo(XJUndoDelegate delegate, JTextPane textPane) {
        undoEngine.registerUndo(new XJUndo(undoEngine, delegate), textPane);
    }
View Full Code Here

TOP

Related Classes of org.antlr.xjlib.appkit.undo.XJUndo

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.