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 | 824f6d74b1d4 |
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 |
