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