diff options
| author | Campbell Barton <ideasman42@gmail.com> | 2019-08-09 18:14:40 +0300 |
|---|---|---|
| committer | Campbell Barton <ideasman42@gmail.com> | 2019-08-09 18:14:40 +0300 |
| commit | 58f38ff5c1a392b40129cad100e8c1e5371d7169 (patch) | |
| tree | 72a32f925ac1bd1f2878e28e4a1377ff32c7bf06 /release/scripts/startup/bl_ui/space_text.py | |
| parent | 2b029234bacde52eb42386d2f56a22f951d890f5 (diff) | |
UI: add back header icons to toggle text display options
These were removed in D5028, adding back by popular demand.
Diffstat (limited to 'release/scripts/startup/bl_ui/space_text.py')
| -rw-r--r-- | release/scripts/startup/bl_ui/space_text.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/release/scripts/startup/bl_ui/space_text.py b/release/scripts/startup/bl_ui/space_text.py index 80153c4c204..1ffb181b219 100644 --- a/release/scripts/startup/bl_ui/space_text.py +++ b/release/scripts/startup/bl_ui/space_text.py @@ -47,6 +47,11 @@ class TEXT_HT_header(Header): layout.separator_spacer() + row = layout.row(align=True) + row.prop(st, "show_line_numbers", text="") + row.prop(st, "show_word_wrap", text="") + row.prop(st, "show_syntax_highlight", text="") + if text: is_osl = text.name.endswith((".osl", ".osl")) |