code_editor_state = function()
	local result = edit.initialize_state(
			Menu_bottom + 20,  -- top
			Safe_height/2-Line_height,  -- bottom
			Menu_left + 50 + Line_number_padding,  -- left
			math.min(100+30*App.width('m'), Safe_width*2/3),  -- right
			Font_height, Line_height)
	Text.redraw_all(result)
	return result
end