editor_right_margin = function()
	return math.min(100+30*Font:getWidth('m'), Safe_width*2/3)
end