sokoban.love/0031-on.resize

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
	Editor_state.bottom = Safe_height/2-5
	Text.redraw_all(Editor_state)
end
resize handler 2023-11-15 15:37:36 +00:00			`on.resize = function()`
			`_, _, Safe_width, Safe_height = love.window.getSafeArea()`
			`Editor_state.right = math.min(100+30App.width('m'), Safe_width2/3)`
			`Editor_state.width = Editor_state.right - Editor_state.left`
responsively increase/decrease font height Only using hotkeys for now, which are only available on non-mobile devices, and not very discoverable. But this is an accessibility foundation. 2023-11-15 17:27:34 +00:00			`Editor_state.bottom = Safe_height/2-5`
resize handler 2023-11-15 15:37:36 +00:00			`Text.redraw_all(Editor_state)`
			`end`