Mercurial Hosting > editor
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 |