Mercurial Hosting > editor
changeset 14:357fdbf446cb
add show_whitespace
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Sat, 05 Apr 2025 22:50:38 -0600 |
parents | 2baecd73d6bb |
children | 93e46dadb694 |
files | editor.luan |
diffstat | 1 files changed, 8 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
diff -r 2baecd73d6bb -r 357fdbf446cb editor.luan --- a/editor.luan Sat Apr 05 08:21:52 2025 -0600 +++ b/editor.luan Sat Apr 05 22:50:38 2025 -0600 @@ -134,6 +134,14 @@ end) view_menu.add(word_wrap) end + do + local show_whitespace = new_check_box_menu_item() + show_whitespace.text = "Show Whitespace" + show_whitespace.add_action_listener(function() + window.text_area.show_whitespace(show_whitespace.state) + end) + view_menu.add(show_whitespace) + end menu_bar.add(view_menu) end return menu_bar