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