Mercurial Hosting > editor
comparison src/luan_editor/Window.luan @ 73:e972fb08a574 default tip
fix
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Mon, 16 Jun 2025 11:29:04 -0600 |
parents | 3867e9e1b94c |
children |
comparison
equal
deleted
inserted
replaced
72:7db13b68ab1b | 73:e972fb08a574 |
---|---|
197 n_windows = n_windows - 1 | 197 n_windows = n_windows - 1 |
198 if n_windows == 0 then | 198 if n_windows == 0 then |
199 Luan.exit() | 199 Luan.exit() |
200 end | 200 end |
201 remove_list_window_item(list_window_item) | 201 remove_list_window_item(list_window_item) |
202 local document_info = documents[title] or error(title) | 202 local document_info = documents[title] |
203 document_info.count = document_info.count - 1 | 203 if document_info ~= nil then |
204 if document_info.count == 0 then | 204 document_info.count = document_info.count - 1 |
205 documents[title] = nil | 205 if document_info.count == 0 then |
206 documents[title] = nil | |
207 end | |
206 end | 208 end |
207 end) | 209 end) |
208 frame.add_window_focus_listener(function() | 210 frame.add_window_focus_listener(function() |
209 list_view.selected_value = list_window_item | 211 list_view.selected_value = list_window_item |
210 if list_window.is_visible then | 212 if list_window.is_visible then |