Package org.eclipse.wst.sse.core.internal.undo

Examples of org.eclipse.wst.sse.core.internal.undo.IStructuredTextUndoManager

68
69
70
71
72
73
74
75
76
77
78
79
      document = editor.getDocument();
      if (document != null)
        fRecorder = StructuredModelManager.getModelManager().getExistingModelForEdit(document);
      // Prepare for Undo
      if (fRecorder != null) {
        IStructuredTextUndoManager um = fRecorder.getUndoManager();
        if (um != null) {
          um.beginRecording(this, ((IAction) this.obj).getText(), ((IAction) this.obj).getDescription());
        }
      }
    }
  }
View Full Code Here
78
79
80
81
82
83
84
85
86
87
88
89
90
    }
  }

  private void endRecording() {
    if (fRecorder != null) {
      IStructuredTextUndoManager um = fRecorder.getUndoManager();
      if (um != null) {
        um.endRecording(this);
      }
      fRecorder.releaseFromEdit();
      fRecorder = null;
    }
  }
View Full Code Here
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
  private void endRecording(int cursorPosition, int selectionLength) {
    IDocument doc = getDocument();
    if (doc instanceof IStructuredDocument) {
      IStructuredDocument structuredDocument = (IStructuredDocument) doc;
      IStructuredTextUndoManager undoManager = structuredDocument.getUndoManager();

      // https://bugs.eclipse.org/bugs/show_bug.cgi?id=198617
      // undo after paste in document with folds - wrong behavior
      IRegion widgetSelection = new Region(cursorPosition, selectionLength);
      IRegion documentSelection = widgetRange2ModelRange(widgetSelection);
      if (documentSelection == null)
        documentSelection = widgetSelection;
      undoManager.endRecording(this, documentSelection.getOffset(), documentSelection.getLength());
    }
    else {
      // TODO: how to handle other document types?
    }
  }
View Full Code Here
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
  private void beginRecording(String label, String description, int cursorPosition, int selectionLength) {
    IDocument doc = getDocument();
    if (doc instanceof IStructuredDocument) {
      IStructuredDocument structuredDocument = (IStructuredDocument) doc;
      IStructuredTextUndoManager undoManager = structuredDocument.getUndoManager();

      // https://bugs.eclipse.org/bugs/show_bug.cgi?id=198617
      // undo after paste in document with folds - wrong behavior
      IRegion widgetSelection = new Region(cursorPosition, selectionLength);
      IRegion documentSelection = widgetRange2ModelRange(widgetSelection);
      if (documentSelection == null)
        documentSelection = widgetSelection;
      undoManager.beginRecording(this, label, description, documentSelection.getOffset(), documentSelection.getLength());
    }
    else {
      // TODO: how to handle other document types?
    }
  }
View Full Code Here
3293
3294
3295
3296
3297
3298
3299
3300
3301
3302
3303
3304
3305
3306
3307
3308
3309
3310
3311
3312
3313
3314
3315
3316
3317
3318
3319
3320
3321
3322
3323
3324
3325
3326
3327
3328
        updateActions = updateActions || previousRedoText == null || previousRedoDesc == null;
        redoAction.setText(REDO_ACTION_TEXT_DEFAULT);
        redoAction.setDescription(REDO_ACTION_DESC_DEFAULT);
      }
      if (fStructuredModel.getUndoManager() != null) {
        IStructuredTextUndoManager undoManager = fStructuredModel.getUndoManager();
        // get undo command
        Command undoCommand = undoManager.getUndoCommand();
        // set undo label and description
        if (undoAction != null) {
          undoAction.setEnabled(undoManager.undoable());
          if (undoCommand != null) {
            String label = undoCommand.getLabel();
            if (label != null) {
              String customText = MessageFormat.format(UNDO_ACTION_TEXT, new String[]{label});
              updateActions = updateActions || customText == null || previousUndoText == null || !customText.equals(previousUndoText);
              undoAction.setText(customText);
            }
            String desc = undoCommand.getDescription();
            if (desc != null) {
              String customDesc = MessageFormat.format(UNDO_ACTION_DESC, new String[]{desc});
              updateActions = updateActions || customDesc == null || previousRedoDesc == null || !customDesc.equals(previousUndoDesc);
              undoAction.setDescription(customDesc);
            }
          }
        }
        // get redo command
        Command redoCommand = undoManager.getRedoCommand();
        // set redo label and description
        if (redoAction != null) {
          redoAction.setEnabled(undoManager.redoable());
          if (redoCommand != null) {
            String label = redoCommand.getLabel();
            if (label != null) {
              String customText = MessageFormat.format(REDO_ACTION_TEXT, new String[]{label});
              updateActions = updateActions || customText == null || previousRedoText == null || !customText.equals(previousRedoText);
View Full Code Here
3259
3260
3261
3262
3263
3264
3265
3266
3267
3268
3269
3270
3271
3272
3273
3274
3275
3276
3277
3278
3279
3280
3281
3282
3283
3284
3285
3286
3287
3288
3289
3290
3291
3292
3293
3294
        updateActions = updateActions || previousRedoText == null || previousRedoDesc == null;
        redoAction.setText(REDO_ACTION_TEXT_DEFAULT);
        redoAction.setDescription(REDO_ACTION_DESC_DEFAULT);
      }
      if (fStructuredModel.getUndoManager() != null) {
        IStructuredTextUndoManager undoManager = fStructuredModel.getUndoManager();
        // get undo command
        Command undoCommand = undoManager.getUndoCommand();
        // set undo label and description
        if (undoAction != null) {
          undoAction.setEnabled(undoManager.undoable());
          if (undoCommand != null) {
            String label = undoCommand.getLabel();
            if (label != null) {
              String customText = MessageFormat.format(UNDO_ACTION_TEXT, new String[]{label});
              updateActions = updateActions || customText == null || previousUndoText == null || !customText.equals(previousUndoText);
              undoAction.setText(customText);
            }
            String desc = undoCommand.getDescription();
            if (desc != null) {
              String customDesc = MessageFormat.format(UNDO_ACTION_DESC, new String[]{desc});
              updateActions = updateActions || customDesc == null || previousRedoDesc == null || !customDesc.equals(previousUndoDesc);
              undoAction.setDescription(customDesc);
            }
          }
        }
        // get redo command
        Command redoCommand = undoManager.getRedoCommand();
        // set redo label and description
        if (redoAction != null) {
          redoAction.setEnabled(undoManager.redoable());
          if (redoCommand != null) {
            String label = redoCommand.getLabel();
            if (label != null) {
              String customText = MessageFormat.format(REDO_ACTION_TEXT, new String[]{label});
              updateActions = updateActions || customText == null || previousRedoText == null || !customText.equals(previousRedoText);
View Full Code Here
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
      document = editor.getDocument();
      if (document != null)
        fRecorder = StructuredModelManager.getModelManager().getExistingModelForEdit(document);
      // Prepare for Undo
      if (fRecorder != null) {
        IStructuredTextUndoManager um = fRecorder.getUndoManager();
        if (um != null) {
          if (this.obj instanceof IAction)
            um.beginRecording(this, ((IAction) this.obj).getText(), ((IAction) this.obj).getDescription());
          else
            um.beginRecording(this);
        }
      }
    }
  }
View Full Code Here
89
90
91
92
93
94
95
96
97
98
99
100
    }
  }

  private void endRecording() {
    if (fRecorder != null) {
      IStructuredTextUndoManager um = fRecorder.getUndoManager();
      if (um != null)
        um.endRecording(this);
      fRecorder.releaseFromEdit();
      fRecorder = null;
    }
  }
View Full Code Here
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
  private void endRecording(int cursorPosition, int selectionLength) {
    IDocument doc = getDocument();
    if (doc instanceof IStructuredDocument) {
      IStructuredDocument structuredDocument = (IStructuredDocument) doc;
      IStructuredTextUndoManager undoManager = structuredDocument.getUndoManager();

      // https://bugs.eclipse.org/bugs/show_bug.cgi?id=198617
      // undo after paste in document with folds - wrong behavior
      IRegion widgetSelection = new Region(cursorPosition, selectionLength);
      IRegion documentSelection = widgetRange2ModelRange(widgetSelection);
      if (documentSelection == null)
        documentSelection = widgetSelection;
      undoManager.endRecording(this, documentSelection.getOffset(), documentSelection.getLength());
    }
    else {
      // TODO: how to handle other document types?
    }
  }
View Full Code Here
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
  private void beginRecording(String label, String description, int cursorPosition, int selectionLength) {
    IDocument doc = getDocument();
    if (doc instanceof IStructuredDocument) {
      IStructuredDocument structuredDocument = (IStructuredDocument) doc;
      IStructuredTextUndoManager undoManager = structuredDocument.getUndoManager();

      // https://bugs.eclipse.org/bugs/show_bug.cgi?id=198617
      // undo after paste in document with folds - wrong behavior
      IRegion widgetSelection = new Region(cursorPosition, selectionLength);
      IRegion documentSelection = widgetRange2ModelRange(widgetSelection);
      if (documentSelection == null)
        documentSelection = widgetSelection;
      undoManager.beginRecording(this, label, description, documentSelection.getOffset(), documentSelection.getLength());
    }
    else {
      // TODO: how to handle other document types?
    }
  }
View Full Code Here
TOP

Related Classes of org.eclipse.wst.sse.core.internal.undo.IStructuredTextUndoManager

  • org.eclipse.jst.pagedesigner.editors.actions.DesignerUndoRedoAction
  • org.eclipse.php.formatter.core.PHPCodeFormatter
  • org.eclipse.php.internal.ui.editor.PHPStructuredTextViewer
  • org.eclipse.wst.sse.ui.internal.extension.DropActionProxy
  • org.eclipse.wst.sse.ui.internal.extension.ExtendedEditorActionProxy
  • org.eclipse.wst.sse.ui.internal.StructuredTextViewer
  • org.eclipse.wst.sse.ui.StructuredTextEditor
    • 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.