update_output_editor = function() Output_editor_state.top = Current_pane.editor_state.bottom+5+10+5 Output_editor_state.right = Current_pane.editor_state.right Output_editor_state.width = Current_pane.editor_state.width Output_editor_state.bottom = Safe_height - 5 Text.redraw_all(Output_editor_state) end