B:BD[
12.51] → [
13.253:318]
B:BD[
13.318] → [
14.10:61]
∅:D[
14.61] → [
13.373:593]
B:BD[
13.373] → [
13.373:593]
B:BD[
13.593] → [
14.62:206]
B:BD[
12.58] → [
4.349:432]
B:BD[
12.147] → [
17.10:597]
B:BD[
17.678] → [
17.678:939]
∅:D[
14.404] → [
15.73:125]
∅:D[
17.939] → [
15.73:125]
B:BD[
12.729] → [
15.73:125]
∅:D[
15.125] → [
12.729:735]
B:BD[
12.729] → [
12.729:735]
if love.filesystem.getInfo('config') then
local settings = json.decode(love.filesystem.read('config'))
local width, height, flags = App.screen.size()
flags.resizable = true
flags.minwidth = math.min(width, 200)
flags.minheight = math.min(height, 200)
App.screen.flags = flags
App.screen.width = settings.width
App.screen.height = settings.height
App.screen.resize(App.screen.width, App.screen.height, App.screen.flags)
App.screen.move(settings.x, settings.y, settings.displayindex)
if on.load_settings then on.load_settings(settings.app) end
else
Font_height = 20
love.graphics.setFont(love.graphics.newFont(Font_height))
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('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
if on.load_settings then on.load_settings() end
end
local settings = json.decode(love.filesystem.read('config'))
_, _, App.screen.flags = App.screen.size()
App.screen.flags.resizable = true
App.screen.width, App.screen.height = settings.width, settings.height
App.screen.resize(App.screen.width, App.screen.height, App.screen.flags)
set_window_position_from_settings(settings)
if on.load_settings then on.load_settings(settings.app) end