Menu

#1224 Undo doesn't restore selection

Feature_Request
closed-fixed
3
2025-02-24
2011-09-20
No

It would be useful if selections could be restored on undo/redo

Related

Bugs: #1539
Feature Requests: #1273

Discussion

  • Neil Hodgson

    Neil Hodgson - 2011-09-20

    This is by-design so I have switched the group to feature request. While it may be possible to implement this, possibly even within the container, there are problems. The most prominent difficulty is that undo is implemented on the document and selection is implemented on the views.

     
  • Neil Hodgson

    Neil Hodgson - 2011-09-20
    • assigned_to: nobody --> nyamatongwe
    • priority: 5 --> 3
    • milestone: --> Feature_Request
    • status: open --> open-rejected
     
  • Zufu Liu

    Zufu Liu - 2025-01-22
    • status: open-rejected --> open-fixed
     
  • Zufu Liu

    Zufu Liu - 2025-01-22

    Implemented by [769d2a].

     

    Related

    Commit: [769d2a]

  • Neil Hodgson

    Neil Hodgson - 2025-01-22

    This is the basic mechanism but tweaks may be required for some commands. It needs to ensure that the selection at the very start and end of any command is saved rather than a selection manipulated by the command before starting the text change. Applications may need new start and end command APIs.

     
  • Zufu Liu

    Zufu Liu - 2025-01-23
    • labels: Scintilla --> Scintilla, undo, selection
     
  • Neil Hodgson

    Neil Hodgson - 2025-01-24

    More associated with undo than selection so renamed SelectionUndoHistory to UndoSelectionHistory [fe170a]. Made it an enum as its likely there will be more options added.

     

    Related

    Commit: [fe170a]

  • Neil Hodgson

    Neil Hodgson - 2025-02-24
    • status: open-fixed --> closed-fixed
     

Log in to post a comment.

MongoDB Logo MongoDB