about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2022-09-03 17:00:58 -0700
committerKartik K. Agaram <vc@akkartik.com>2022-09-03 17:00:58 -0700
commit5cada8cc9e0ac94ef6fdc1e7eb7be906ae367cd6 (patch)
tree3ab5b013b22f21e5a7a51b71eb4886963e1fa545
parent9a1e297ee39c1250162f1fecbc8fb8e8e6d41120 (diff)
downloadtext.love-5cada8cc9e0ac94ef6fdc1e7eb7be906ae367cd6.tar.gz
remember window positions across restart/ctrl+e
-rw-r--r--run.lua8
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,