let switch_line_numbers (view : sourceview) args = let v = if Array.length args > 0 then Some (Ed_misc.bool_of_string args.(0)) else None in view#switch_line_numbers ?v ()