diff src/luan_editor/Window.luan @ 57:f91c336cdde5

for windows
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 29 May 2025 22:29:34 -0600
parents 6059b4e22d47
children
line wrap: on
line diff
--- a/src/luan_editor/Window.luan	Wed May 28 16:02:27 2025 -0600
+++ b/src/luan_editor/Window.luan	Thu May 29 22:29:34 2025 -0600
@@ -142,7 +142,8 @@
 		line_wrap = config.line_wrap
 		whitespace_visible = config.whitespace_visible
 		tab_size = config.tab_size
-		font = { family="Monospaced", size=13 }
+		--font = { family="Monospaced", size=13 }
+		font_changes = { family="Monospaced" }
 	}
 	window.text_area = text_area
 	local title = file and file.canonical().to_string() or "new"