Package org.antlr.xjlib.appkit.undo

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

668
669
670
671
672
673
674
675
676
        if(undo)
            disableTextPaneUndo();
    }

    public void beginTextPaneUndoGroup(String name) {
        XJUndo undo = getUndo(getTextPane());
        if(undo != null)
            undo.beginUndoGroup(name);
    }
View Full Code Here
674
675
676
677
678
679
680
681
682
        if(undo != null)
            undo.beginUndoGroup(name);
    }

    public void endTextPaneUndoGroup() {
        XJUndo undo = getUndo(getTextPane());
        if(undo != null)
            undo.endUndoGroup();
    }
View Full Code Here
195
196
197
198
199
200
201
202
            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
680
681
682
683
684
685
686
687
688
        if(undo != null)
            undo.endUndoGroup();
    }

    public void enableTextPaneUndo() {
        XJUndo undo = getUndo(getTextPane());
        if(undo != null)
            undo.enableUndo();
    }
View Full Code Here
686
687
688
689
690
691
692
693
694
        if(undo != null)
            undo.enableUndo();
    }

    public void disableTextPaneUndo() {
        XJUndo undo = getUndo(getTextPane());
        if(undo != null)
            undo.disableUndo();
    }
View Full Code Here
486
487
488
489
490
491
492
493
            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
545
546
547
548
549
550
551
552
553
    public XJUndo getTextPaneUndo() {
        return parentFrame.getUndo(getTextPane());
    }

    public void disableUndo() {
        XJUndo undo = getTextPaneUndo();
        if(undo != null)
            undo.disableUndo();
    }
View Full Code Here
551
552
553
554
555
556
557
558
559
        if(undo != null)
            undo.disableUndo();
    }

    public void enableUndo() {
        XJUndo undo = getTextPaneUndo();
        if(undo != null)
            undo.enableUndo();
    }
View Full Code Here
261
262
263
264
265
266
267
268
269
270
271
272
        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
617
618
619
620
621
622
623
        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

  • org.antlr.works.ate.ATEPanel
  • org.antlr.works.ate.ATETextPane
  • org.antlr.works.components.GrammarWindow
  • org.antlr.works.menu.GrammarRefactorMenu$EditorTextMutator
  • org.antlr.works.menu.STRefactorMenu$EditorTextMutator
  • org.antlr.xjlib.appkit.frame.XJFrame
  • javax.swing.undo.CompoundEdit
    • 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.