From febd5dec458e9fb066dab218b07d6c42b53ea5b1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Nusser?= <andre.nusser@googlemail.com>
Date: Mon, 17 Apr 2017 16:21:47 +0200
Subject: Allow scrolling in TextEdit widget.

---
 plugingui/textedit.cc | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'plugingui/textedit.cc')

diff --git a/plugingui/textedit.cc b/plugingui/textedit.cc
index 357454e..63b4cd4 100644
--- a/plugingui/textedit.cc
+++ b/plugingui/textedit.cc
@@ -190,6 +190,11 @@ void TextEdit::repaintEvent(RepaintEvent* repaintEvent)
 	}
 }
 
+void TextEdit::scrollEvent(ScrollEvent* scrollEvent)
+{
+	scroll.setValue(scroll.value() + scrollEvent->delta);
+}
+
 void TextEdit::scrolled(int value)
 {
 	(void)value;
-- 
cgit v1.2.3