print_to_output = function(...)
	local line = table.concat(map({...}, tostring), ' ')
	table.insert(Output_editor_state.lines,
		{data=line})
	Text.redraw_all(Output_editor_state)
end