resize handler

akkartik

Nov 15, 2023, 3:37 PM

VEAVIL4X64VGFCIKDQQTPGS2NSEX77VTSSZIJQMFH65D3EQMX7UAC

Dependencies

• [2] 5RUFNRJO start of the visual skeleton
• [3] ZM7NOBRM new fork: carousel shell
• [4] ICS45BIL editor widget now takes a bottom margin
• [*] R5QXEHUI somebody stop me

Change contents

• file addition: 0031-on.resize (----------)
  [6.2]
  + on.resize = function()

  + _, _, Safe_width, Safe_height = love.window.getSafeArea()

  + Editor_state.right = math.min(100+30*App.width('m'), Safe_width*2/3)

  + Editor_state.width = Editor_state.right - Editor_state.left

  + Text.redraw_all(Editor_state)

  + end
• file addition: 0030-Safe_height (----------)
  [6.2]
  + Safe_height = 0
• file addition: 0029-Safe_width (----------)
  [6.2]
  + Safe_width = 0
• replacement in 0011-on.initialize at line 5
  [3.3276]→[2.1962:2011](∅→∅)
  − Menu_left, Menu_top = love.window.getSafeArea()
  [3.3276]

  [2.2011]
  + Menu_left, Menu_top, Safe_width, Safe_height = love.window.getSafeArea()
• replacement in 0011-on.initialize at line 9
  [2.2123]→[2.2123:2224](∅→∅)
  − --[[top]] Menu_bottom + 20, --[[bottom]] App.screen.height/2-5,

  − --[[left]] 100, --[[right]] 400,
  [2.2123]

  [2.2224]
  + Menu_bottom + 20, -- top

  + Safe_height/2-5, -- bottom

  + 100, -- left

  + math.min(100+30*App.width('m'), Safe_width*2/3), -- right