Skip to content

Fix undo/redo selection shortcut/action changing selection history without changing selection#1765

Merged
emilk merged 2 commits intomainfrom andreas/fix-selection-shortcutsApr 4, 2023