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