method switch_line_markers ?v () =
      let v = match v with
          None -> not source_view#show_line_marks
        | Some v -> v
      in
      source_view#set_show_line_marks v