A lightweight programming environment for desktop and mobile devices
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