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