Andrew Hamilton 2c850b73f4 Resolving diffs should add to undo history like other change actions		2022-04-30 06:59:58 +10:00
..
__init__.py	Resolving diffs should add to undo history like other change actions	2022-04-30 06:59:58 +10:00
editor.py	editor: Deactivate selections while undoing	2022-04-29 19:51:57 +10:00