Lagrange [release]

DocumentWidget: Horizontal scrolling improvements

Sat Nov 28 16:22:12 2020 +0200

Interaction with selection/found markers (will reset scrolling), and smooth horizontal scrolling with a mouse.

IssueID #44

 src/ui/documentwidget.c | 95 ++++++++++++++++++++++++++++++++++++++-----------
 1 file changed, 75 insertions(+), 20 deletions(-)