diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-08-21 22:19:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-21 22:19:18 +0200 |
| commit | 328452e028480d85ea06de56eb46b36bc35f3424 (patch) | |
| tree | 02e69656ad828e033b840ac75d1cceb139104e92 /scene/gui/text_edit.h | |
| parent | 7cbcc913b4651d7743dd3e0eadcb7ca3c05861a2 (diff) | |
| parent | d6599fde0ae8e6d224c3449629917ecd5076480c (diff) | |
Merge pull request #10508 from Paulb23/increase_smooth_scroll_speed
Increased smooth scroll speed and added user setting
Diffstat (limited to 'scene/gui/text_edit.h')
| -rw-r--r-- | scene/gui/text_edit.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scene/gui/text_edit.h b/scene/gui/text_edit.h index c4e0700531..d942f521cd 100644 --- a/scene/gui/text_edit.h +++ b/scene/gui/text_edit.h @@ -259,6 +259,7 @@ class TextEdit : public Control { bool smooth_scroll_enabled; bool scrolling; float target_v_scroll; + float v_scroll_speed; bool raised_from_completion; @@ -494,6 +495,9 @@ public: void set_smooth_scroll_enabled(bool p_enable); bool is_smooth_scroll_enabled() const; + void set_v_scroll_speed(float p_speed); + float get_v_scroll_speed() const; + uint32_t get_version() const; uint32_t get_saved_version() const; void tag_saved_version(); |