Parcourir la source

Improve priority in listing

Leo il y a 10 ans
Parent
commit
2134d1779a
1 fichiers modifiés avec 1 ajouts et 1 suppressions
  1. 1 1
      src/list_rc.ml

+ 1 - 1
src/list_rc.ml

@@ -46,7 +46,7 @@ let disp_cmd_num current_number number command =
     |> (fun concatenated_msg ->
             match prepend with
             | "* " -> Messages.ok concatenated_msg
-            | "  " -> Messages.info concatenated_msg
+            | "  " -> Messages.tips concatenated_msg
             | _ -> assert false)
 ;;