2023-11-15 15:37:36 +00:00
|
|
|
on.resize = function()
|
|
|
|
_, _, Safe_width, Safe_height = love.window.getSafeArea()
|
2023-11-19 21:15:06 +00:00
|
|
|
Current_pane.editor_state.right = math.min(100+30*App.width('m'), Safe_width*2/3)
|
|
|
|
Current_pane.editor_state.width = Current_pane.editor_state.right - Current_pane.editor_state.left
|
|
|
|
Current_pane.editor_state.bottom = Safe_height/2-5
|
|
|
|
Text.redraw_all(Current_pane.editor_state)
|
|
|
|
Current_pane.output_editor_state.top = Current_pane.editor_state.bottom+5+10+5
|
|
|
|
Current_pane.output_editor_state.right = Current_pane.editor_state.right
|
|
|
|
Current_pane.output_editor_state.width = Current_pane.editor_state.width
|
|
|
|
Current_pane.output_editor_state.bottom = Safe_height - 5
|
2023-11-15 15:37:36 +00:00
|
|
|
end
|