UI: add back header icons to toggle text display options

These were removed in D5028, adding back by popular demand.
This commit is contained in:
Campbell Barton 2019-08-10 01:14:40 +10:00
parent 2b029234ba
commit 58f38ff5c1
1 changed files with 5 additions and 0 deletions

View File

@ -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"))