diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-11-28 11:49:23 +0200 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-11-28 11:49:23 +0200 |
| commit | 0ccabb2c8e0e894be520c621bca8023a6d5de2e2 (patch) | |
| tree | 9d74b83793e31adac34ccd88b32b0eabe79d9547 /src/ui/inputwidget.h | |
| parent | b6d0231a53abe3be35f71aa73ddda8654835833f (diff) | |
DocumentWidget: Markers disappear when scrolling
IssueID #46
Diffstat (limited to 'src/ui/inputwidget.h')
0 files changed, 0 insertions, 0 deletions