Skip to content

You Should Always Be Able to Redo Your "Undo" #108688

@machineghost

Description

@machineghost

Version: 1.49.2
Commit: e5e9e69
Date: 2020-09-24T16:26:09.944Z
Electron: 9.2.1
Chrome: 83.0.4103.122
Node.js: 12.14.1
V8: 8.3.110.13-electron.0
OS: Linux x64 5.4.0-48-generic

Steps to Reproduce:

To be clear, this is a report of an non reproducible bug (but presumably you at least want to know about them right?)

  1. Make some changes in a Javascript file: nothing special, but JSX and automatic importing is involved.
  2. Undo a bunch of changes (eg. so you can see an earlier version of the file) expecting to be able to redo your changes to get them back.
  3. DO NOT make any changes (literally press nothing but CTRL + Z, and a single CTRL + C to copy the code)
  4. Redo is enabled in the menu .... but you can press CTRL + Y (or pick the menu option) until the cows come home, and nothing happens.

Does this issue occur when all extensions are disabled?: Yes/No

Again, if I restart I can all but guarantee undo/redo will work normally, because 99% of the time it does so just fine. But it just failed, and that seems like something which shouldn't happen.

Metadata

Metadata

Assignees

Labels

info-neededIssue requires more information from poster

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions