method switch_line_numbers ?v () = let v = match v with None -> not source_view#show_line_numbers | Some v -> v in source_view#set_show_line_numbers v