diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-12-08 17:13:14 +0200 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-12-08 17:13:14 +0200 |
commit | eadba95aa01cea517fc4fb221c19d081e9d8f26e (patch) | |
tree | b5d2aba5aed86048a94270307f21e8e340d8b67f /src/ui/command.c | |
parent | b744308198bc821db9e0ed5801b75740289ab385 (diff) |
DocumentWidget: Clear selection if document changes
Diffstat (limited to 'src/ui/command.c')
0 files changed, 0 insertions, 0 deletions