diff options
| -rw-r--r-- | plugingui/textedit.cc | 5 | ||||
| -rw-r--r-- | plugingui/textedit.h | 1 | 
2 files changed, 6 insertions, 0 deletions
| 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); | 
