Mercurial Hosting > editor
comparison editor.luan @ 14:357fdbf446cb
add show_whitespace
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Sat, 05 Apr 2025 22:50:38 -0600 |
parents | 2baecd73d6bb |
children | 93e46dadb694 |
comparison
equal
deleted
inserted
replaced
13:2baecd73d6bb | 14:357fdbf446cb |
---|---|
132 word_wrap.add_action_listener(function() | 132 word_wrap.add_action_listener(function() |
133 window.text_area.line_wrap = word_wrap.state | 133 window.text_area.line_wrap = word_wrap.state |
134 end) | 134 end) |
135 view_menu.add(word_wrap) | 135 view_menu.add(word_wrap) |
136 end | 136 end |
137 do | |
138 local show_whitespace = new_check_box_menu_item() | |
139 show_whitespace.text = "Show Whitespace" | |
140 show_whitespace.add_action_listener(function() | |
141 window.text_area.show_whitespace(show_whitespace.state) | |
142 end) | |
143 view_menu.add(show_whitespace) | |
144 end | |
137 menu_bar.add(view_menu) | 145 menu_bar.add(view_menu) |
138 end | 146 end |
139 return menu_bar | 147 return menu_bar |
140 end | 148 end |
141 | 149 |