∅:D[
3.51] → [
4.4138:4223]
B:BD[
4.4138] → [
4.4138:4223]
B:BD[
4.4589] → [
4.4589:4836]
∅:D[
2.84] → [
4.4869:5107]
B:BD[
4.4869] → [
4.4869:5107]
local font_height = 20
love.graphics.setFont(love.graphics.newFont(font_height))
-- maximize window
love.window.setMode(0, 0) -- maximize
App.screen.width, App.screen.height, App.screen.flags = love.window.getMode()
-- 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.width, 200)
love.window.setMode(App.screen.width, App.screen.height, App.screen.flags)
if love.filesystem.getInfo('config') then
else
local font_height = 20
love.graphics.setFont(love.graphics.newFont(font_height))
-- maximize window
love.window.setMode(0, 0) -- maximize
App.screen.width, App.screen.height, App.screen.flags = love.window.getMode()
-- 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.width, 200)
love.window.setMode(App.screen.width, App.screen.height, App.screen.flags)
end