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