output_editor_state = function(editor_state)
	local result = edit.initialize_state(
			editor_state.bottom+5+10+5,  -- top
			nil,  -- buttom
			editor_state.left, editor_state.right,
			Font, Font_height, Line_height)
	Text.redraw_all(result)
	return result
end