diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-06-12 14:23:27 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-12 14:23:27 +0200 |
commit | df2567923551132c4835192bd856ecf07af1fe51 (patch) | |
tree | 0596457535291fa1e1b84749461b414972f02559 /doc | |
parent | 1e5a02f0062b6bbf2edb27151319c6ec4d6a1762 (diff) | |
parent | e4f90337f29ab8cc3683921c3f78987ce1c3166b (diff) |
Merge pull request #29601 from NilsIrl/hiding_enabled
Treat hiding_enabled as bool throughout
Diffstat (limited to 'doc')
-rw-r--r-- | doc/classes/TextEdit.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/classes/TextEdit.xml b/doc/classes/TextEdit.xml index 62e8a2c34f..8ca553ccb8 100644 --- a/doc/classes/TextEdit.xml +++ b/doc/classes/TextEdit.xml @@ -391,7 +391,7 @@ <member name="fold_gutter" type="bool" setter="set_draw_fold_gutter" getter="is_drawing_fold_gutter"> If [code]true[/code], the fold gutter is visible. This enables folding groups of indented lines. </member> - <member name="hiding_enabled" type="int" setter="set_hiding_enabled" getter="is_hiding_enabled"> + <member name="hiding_enabled" type="bool" setter="set_hiding_enabled" getter="is_hiding_enabled"> </member> <member name="highlight_all_occurrences" type="bool" setter="set_highlight_all_occurrences" getter="is_highlight_all_occurrences_enabled"> </member> |