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

Safe_height = 0

Safe_width = 0

	Menu_left, Menu_top = love.window.getSafeArea()

	Menu_left, Menu_top, Safe_width, Safe_height = love.window.getSafeArea()

		--[[top]] Menu_bottom + 20, --[[bottom]] App.screen.height/2-5,
		--[[left]] 100, --[[right]] 400,

		Menu_bottom + 20,  -- top
		Safe_height/2-5,  -- bottom
		100,  -- left
		math.min(100+30*App.width('m'), Safe_width*2/3),  -- right