# File Text/Format.rb, line 208
        def right_margin=(r)
            @right_margin = posint(r)
        end