don't save settings on error in source editor

This commit is contained in:
Kartik K. Agaram 2024-01-12 03:51:34 -08:00
parent 5d4fd4aa93
commit 4121613fc6
3 changed files with 3 additions and 2 deletions

View File

@ -53,7 +53,8 @@ function handle_error(err)
App.undo_initialize()
App.run_tests_and_initialize()
else
if App.disable_tests then App.disable_tests() end
-- abort without running love.quit handler
Disable_all_quit_handlers = true
love.event.quit()
end
end

View File

@ -331,6 +331,7 @@ function App.wheelmoved(dx,dy)
end
function love.quit()
if Disable_all_quit_handlers then return end
if current_app_is_warning() then return end
if Current_app == 'run' then
local source_settings = Settings.source

View File

@ -271,7 +271,6 @@ function source.settings()
if Settings == nil then Settings = {} end
if Settings.source == nil then Settings.source = {} end
Settings.source.x, Settings.source.y, Settings.source.displayindex = App.screen.position()
App.screen.width, App.screen.height = App.screen.size()
File_navigation.cursors[Editor_state.filename] = {cursor1=Editor_state.cursor1, screen_top1=Editor_state.screen_top1}
return {
x=Settings.source.x, y=Settings.source.y, displayindex=Settings.source.displayindex,