comparison 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
comparison
equal deleted inserted replaced
56:6059b4e22d47 57:f91c336cdde5
140 local text_area = new_text_area{ 140 local text_area = new_text_area{
141 wrap_style_word = true 141 wrap_style_word = true
142 line_wrap = config.line_wrap 142 line_wrap = config.line_wrap
143 whitespace_visible = config.whitespace_visible 143 whitespace_visible = config.whitespace_visible
144 tab_size = config.tab_size 144 tab_size = config.tab_size
145 font = { family="Monospaced", size=13 } 145 --font = { family="Monospaced", size=13 }
146 font_changes = { family="Monospaced" }
146 } 147 }
147 window.text_area = text_area 148 window.text_area = text_area
148 local title = file and file.canonical().to_string() or "new" 149 local title = file and file.canonical().to_string() or "new"
149 if document ~= nil then 150 if document ~= nil then
150 text_area.document = document 151 text_area.document = document