Package org.eclipse.ui.texteditor

Examples of org.eclipse.ui.texteditor.ITextEditorExtension2

473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
      return false;
   
    boolean modifiable;
    ITextEditor editor= getEditor();
    if (editor instanceof ITextEditorExtension2) {
      ITextEditorExtension2 ext= (ITextEditorExtension2) editor;
      modifiable= ext.isEditorInputModifiable();
    } else if (editor instanceof ITextEditorExtension) {
      ITextEditorExtension ext= (ITextEditorExtension) editor;
      modifiable= ext.isEditorInputReadOnly();
    } else if (editor != null) {
      modifiable= editor.isEditable();
    } else {
      modifiable= true;
    }
View Full Code Here
1712
1713
1714
1715
1716
1717
1718
1719
1720
1721
    //--------------------------------------------------------------------- END: actions that are activated after Ctrl+2

    public static void checkValidateState(IEditorPart iEditorPart) {
        if (iEditorPart instanceof ITextEditorExtension2) {
            ITextEditorExtension2 editor = (ITextEditorExtension2) iEditorPart;
            editor.validateEditorInputState();

        }
    }
View Full Code Here
TOP

Related Classes of org.eclipse.ui.texteditor.ITextEditorExtension2

  • org.eclipse.ui.internal.texteditor.LineNumberColumn
  • org.python.pydev.editor.PyEdit
    • 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.