enso/app/gui/language
Michał Wawrzyniec Urbańczyk a31c671524
Undo redo fixes and improvements (#6950)
This PR adds facilities for controllers to be aware of what shortcut command is currently being processed. This allows grouping consequences of single user action into a single transaction without hard-coding it separately for all the separate paths case-by-case, which turned out to be challenging and error-prone.

Additionally, a number of minor fixes were carried over from #6877:
* workaround for #6718;
* avoiding creating spurious transactions when dealing with node positions;
* dropping any non-user user-triggered transactions that occur during the IDE project initialization.
2023-06-12 10:32:35 +00:00
..
ast Implement nested widget overrides (#6878) 2023-05-30 17:45:31 +00:00
parser Undo redo fixes and improvements (#6950) 2023-06-12 10:32:35 +00:00
span-tree Implement nested widget overrides (#6878) 2023-05-30 17:45:31 +00:00