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 ()