Examples of resetRedo()

Examples of org.freeplane.core.undo.IUndoHandler.resetRedo()

71
72
73
74
75
76
77
78
79
80
81
  }

  public void reset() {
    final MapModel map = Controller.getCurrentController().getMap();
    final IUndoHandler undoHandler = map.getExtension(IUndoHandler.class);
    undoHandler.resetRedo();
    setEnabled(false);
  }

  public void setUndo(final Action undo) {
    this.undo = undo;
View Full Code Here

Examples of org.freeplane.features.mode.mindmapmode.MModeController.resetRedo()

487
488
489
490
491
492
493
494
495
496
497
        if (isNewNode) {
          final String detailText = DetailTextModel.getDetailTextText(nodeModel);
          final MModeController modeController = (MModeController) Controller.getCurrentModeController();
          if(detailText != null)
                      modeController.undo();
          modeController.resetRedo();
        }
        stop();
      }

      public void ok(final String newText) {
View Full Code Here

Examples of org.freeplane.features.mode.mindmapmode.MModeController.resetRedo()

497
498
499
500
501
502
503
504
505
506
507
      public void ok(final String newText) {
        if(HtmlUtils.isEmpty(newText))
          if (isNewNode) {
            final MModeController modeController = (MModeController) Controller.getCurrentModeController();
            modeController.undo();
            modeController.resetRedo();
          }
          else
            setDetailsHtmlText(nodeModel, null);
        else
          setDetailsHtmlText(nodeModel, newText);
View Full Code Here

Examples of org.freeplane.features.mode.mindmapmode.MModeController.resetRedo()

773
774
775
776
777
778
779
780
781
782
783
        if (isNewNode && nodeModel.getMap().equals(controller.getMap())) {
            if(nodeModel.getParentNode() != null){
                controller.getSelection().selectAsTheOnlyOneSelected(nodeModel);
                final MModeController modeController = (MModeController) Controller.getCurrentModeController();
            modeController.undo();
            modeController.resetRedo();
            }
          final MapController mapController = Controller.getCurrentModeController().getMapController();
          mapController.select(prevSelectedModel);
          if (parentFolded) {
            mapController.setFolded(prevSelectedModel, true);
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.