simplify saving settings

We don't ever call one app's settings while Current_app is the other.
This commit is contained in:
Kartik K. Agaram 2023-07-10 17:14:38 -07:00
parent a8747478ff
commit 7f4c5f847b
2 changed files with 2 additions and 8 deletions

View File

@ -153,9 +153,7 @@ function run.settings()
if Settings == nil then
Settings = {}
end
if Current_app == 'run' then
Settings.x, Settings.y, Settings.displayindex = App.screen.position()
end
Settings.x, Settings.y, Settings.displayindex = App.screen.position()
return {
x=Settings.x, y=Settings.y, displayindex=Settings.displayindex,
width=App.screen.width, height=App.screen.height,

View File

@ -273,11 +273,7 @@ function source.quit()
end
function source.settings()
if Current_app == 'source' then
--? print('reading source window position')
Settings.source.x, Settings.source.y, Settings.source.displayindex = App.screen.position()
end
--? print('saving source settings', Settings.source.x, Settings.source.y, Settings.source.displayindex)
Settings.source.x, Settings.source.y, Settings.source.displayindex = App.screen.position()
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,