diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2017-04-17 16:21:47 +0200 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2017-04-17 16:22:13 +0200 |
| commit | febd5dec458e9fb066dab218b07d6c42b53ea5b1 (patch) | |
| tree | ca82e4f98b1eaa3be5a9e0befd642e53a2518835 /plugingui/textedit.h | |
| parent | 356b10b08ae2e12db0781922f6baaa4363115462 (diff) | |
Allow scrolling in TextEdit widget.
Diffstat (limited to 'plugingui/textedit.h')
| -rw-r--r-- | plugingui/textedit.h | 1 |
1 files changed, 1 insertions, 0 deletions
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); |