akkartik/wardley.love - Change H3774IWTCFXRZ4PH2QD5SVQYXJCZHPADKLBMJO3FFPUZKOBPLYDAC

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

H3774IWTCFXRZ4PH2QD5SVQYXJCZHPADKLBMJO3FFPUZKOBPLYDAC

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