diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-08-19 18:01:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-19 18:01:33 +0200 |
| commit | 395544b4d09c3c28b3988eb42c567951974351dd (patch) | |
| tree | e814d6d485e65f88523820c40277ff19947c592c /scene/gui/text_edit.h | |
| parent | ce85179e5df30f2670f9a7f2089d13e1676ebdd1 (diff) | |
| parent | a142c9a2f0be65218058c35b94202fbc4fd2c84c (diff) | |
Merge pull request #10447 from Paulb23/smooth_scrolling
Added smooth scrolling to TextEdit
Diffstat (limited to 'scene/gui/text_edit.h')
| -rw-r--r-- | scene/gui/text_edit.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scene/gui/text_edit.h b/scene/gui/text_edit.h index 4c17347a5d..c4e0700531 100644 --- a/scene/gui/text_edit.h +++ b/scene/gui/text_edit.h @@ -256,6 +256,10 @@ class TextEdit : public Control { bool insert_mode; bool select_identifiers_enabled; + bool smooth_scroll_enabled; + bool scrolling; + float target_v_scroll; + bool raised_from_completion; String highlighted_word; @@ -487,6 +491,9 @@ public: int get_h_scroll() const; void set_h_scroll(int p_scroll); + void set_smooth_scroll_enabled(bool p_enable); + bool is_smooth_scroll_enabled() const; + uint32_t get_version() const; uint32_t get_saved_version() const; void tag_saved_version(); |