fix previous merge

[?]

Mar 19, 2023, 7:22 AM

EADS554A4NIKLNBL6VKMZPQBHN4UKNG5FHZCGSZWEHRUIRF6VBBAC

Dependencies

[2] PTOMKY7C Merge text0
[3] YCYCQOFC bugfix: on.load_settings when there are none
[4] DSDKFEUK persist window geometry to disk across restart
[5] FRXBX5FC create space for app-specific settings
[6] 7RDQRRP5 Merge text0
[7] MPETAKZ2 insert space for loading settings
[*] OTIBCAUJ love2d scaffold

Change contents

replacement in main.lua at line 85

[3.147]→[3.147:170](∅→∅),[3.170]→[2.207:326](∅→∅),[2.326]→[3.295:585](∅→∅),[3.295]→[3.295:585](∅→∅),[3.585]→[3.7:73](∅→∅),[3.73]→[2.327:404](∅→∅)

-- maximize window
App.screen.resize(0, 0) -- maximize
App.screen.width, App.screen.height, App.screen.flags = App.screen.size()
-- shrink height slightly to account for window decoration
App.screen.height = App.screen.height-100
App.screen.width = 40*App.width(App.newText(love.graphics.getFont(), 'm'))
App.screen.flags.resizable = true
App.screen.flags.minwidth = math.min(App.screen.width, 200)
App.screen.flags.minheight = math.min(App.screen.height, 200)
App.screen.resize(App.screen.width, App.screen.height, App.screen.flags)

[3.147]

[3.73]

local os = love.system.getOS()
if os == 'Android' or os == 'iOS' then
-- maximizing on iOS breaks text rendering: https://github.com/deltadaedalus/vudu/issues/7
-- no point second-guessing window dimensions on mobile
App.screen.width, App.screen.height, App.screen.flags = App.screen.size()
else
-- maximize window
App.screen.resize(0, 0) -- maximize
App.screen.width, App.screen.height, App.screen.flags = App.screen.size()
-- shrink height slightly to account for window decoration
App.screen.height = App.screen.height-100
App.screen.width = 40*App.width(App.newText(love.graphics.getFont(), 'm'))
App.screen.flags.resizable = true
App.screen.flags.minwidth = math.min(App.screen.width, 200)
App.screen.flags.minheight = math.min(App.screen.height, 200)
App.screen.resize(App.screen.width, App.screen.height, App.screen.flags)
end