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 +++++
 plugingui/textedit.h  | 1 +
 2 files changed, 6 insertions(+)

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;
diff --git a/plugingui/textedit.h b/plugingui/textedit.h
index 8df14b0..3eaf02f 100644
--- a/plugingui/textedit.h
+++ b/plugingui/textedit.h
@@ -61,6 +61,7 @@ public:
 protected:
 	// From Widget
 	virtual void repaintEvent(RepaintEvent* repaintEvent) override;
+	void scrollEvent(ScrollEvent* scrollEvent) override;
 
 private:
 	void scrolled(int value);
-- 
cgit v1.2.3