Lagrange [release]

DocumentWidget: Markers disappear when scrolling

Jaakko Keränen

Sat Nov 28 11:49:23 2020 +0200

IssueID #46

 src/ui/documentwidget.c | 13 +++++++++++++
 1 file changed, 13 insertions(+)
Diff (Colored)
Diff (Colored, Plain Text)
🔨 Patch
Parent b6d0231a
Repository