diff options
| author | memchr <118117622+memchr@users.noreply.github.com> | 2023-09-11 22:39:24 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-11 23:39:24 +0100 |
| commit | bc41d7ec8515723d79cc921454a739d65db69467 (patch) | |
| tree | e5b69d17a2ce8f52faae1dafc4817d3e85a3ca53 /src/managers/KeybindManager.cpp | |
| parent | df51c45d7f9e4e280b959f790f7cde6c88b9b451 (diff) | |
fix: inconsistent behaviour where last workspace was not saved (#3261)
Diffstat (limited to 'src/managers/KeybindManager.cpp')
0 files changed, 0 insertions, 0 deletions