7 lines
315 B
Plaintext
7 lines
315 B
Plaintext
update_output_editor = function(pane)
|
|
pane.output_editor_state.top = pane.editor_state.bottom+5+10+5
|
|
pane.output_editor_state.right = pane.editor_state.right
|
|
pane.output_editor_state.width = pane.editor_state.width
|
|
pane.output_editor_state.bottom = Safe_height - 5
|
|
Text.redraw_all(pane.output_editor_state)
|
|
end |