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