diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2022-09-03 17:00:58 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2022-09-03 17:00:58 -0700 |
commit | 5cada8cc9e0ac94ef6fdc1e7eb7be906ae367cd6 (patch) | |
tree | 3ab5b013b22f21e5a7a51b71eb4886963e1fa545 | |
parent | 9a1e297ee39c1250162f1fecbc8fb8e8e6d41120 (diff) | |
download | text.love-5cada8cc9e0ac94ef6fdc1e7eb7be906ae367cd6.tar.gz |
remember window positions across restart/ctrl+e
-rw-r--r-- | run.lua | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/run.lua b/run.lua index bb64aa3..c334811 100644 --- a/run.lua +++ b/run.lua @@ -57,12 +57,12 @@ function run.load_settings() -- maximize window to determine maximum allowable dimensions App.screen.width, App.screen.height, App.screen.flags = love.window.getMode() -- set up desired window dimensions - love.window.setPosition(Settings.x, Settings.y, Settings.displayindex) App.screen.flags.resizable = true App.screen.flags.minwidth = math.min(App.screen.width, 200) App.screen.flags.minheight = math.min(App.screen.width, 200) App.screen.width, App.screen.height = Settings.width, Settings.height love.window.setMode(App.screen.width, App.screen.height, App.screen.flags) + love.window.setPosition(Settings.x, Settings.y, Settings.displayindex) Editor_state = edit.initialize_state(Margin_top, Margin_left, App.screen.width-Margin_right, Settings.font_height, math.floor(Settings.font_height*1.3)) Editor_state.filename = Settings.filename Editor_state.screen_top1 = Settings.screen_top @@ -134,13 +134,15 @@ function run.quit() end function run.settings() - local x,y,displayindex = love.window.getPosition() + if Current_app == 'run' then + Settings.x, Settings.y, Settings.displayindex = love.window.getPosition() + end local filename = Editor_state.filename if filename:sub(1,1) ~= '/' then filename = love.filesystem.getWorkingDirectory()..'/'..filename -- '/' should work even on Windows end return { - x=x, y=y, displayindex=displayindex, + x=Settings.x, y=Settings.y, displayindex=Settings.displayindex, width=App.screen.width, height=App.screen.height, font_height=Editor_state.font_height, filename=filename, |