akkartik/sokoban.love - Change EADS554A4NIKLNBL6VKMZPQBHN4UKNG5FHZCGSZWEHRUIRF6VBBAC

fix previous merge

get typed in keystrokes to show on screen on iPad

Many thanks to Myte for helping test this!

Created by Kartik K. Agaram on March 19, 2023

EADS554A4NIKLNBL6VKMZPQBHN4UKNG5FHZCGSZWEHRUIRF6VBBAC

Dependencies

In channels

main

Change contents

Replacement in main.lua at line 85 [4.2]

B:BD[3.147] → [3.147:170]

B:BD[3.170] → [2.207:326]

∅:D[2.326] → [3.295:585]

B:BD[3.295] → [3.295:585]

B:BD[3.585] → [5.7:73]

B:BD[5.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]

[6.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