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