Added: Undo tooltips

This commit is contained in:
Luc Mcgrady 2025-11-12 15:26:01 +00:00
parent fe753ed9d8
commit deb956077c
No known key found for this signature in database
GPG key ID: 4F3D7A0B17CC3D9C

View file

@ -181,9 +181,11 @@ export class ReviewerState {
case "z": {
if (ctrl) {
if (shift) {
await redo({});
const op = await redo({});
this.showTooltip(tr.undoActionRedone({ action: op.operation }));
} else {
await undo({});
const op = await undo({});
this.showTooltip(tr.undoActionUndone({ action: op.operation }));
}
this.refresh();
}