diff options
| author | Enrico Tassi | 2019-02-21 15:17:48 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2019-02-27 09:49:35 +0100 |
| commit | 06c88d7d65ed3dbfb80e093cb0ee5b488a3ab6f2 (patch) | |
| tree | 401de2859c039ef6f2683c2a5b01f67b36fee561 /ide | |
| parent | 4610afafcbd79f38876e528c0f30c9347648efc4 (diff) | |
[ide] coqtop -> coqidetop in user messages
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coq.ml | 6 | ||||
| -rw-r--r-- | ide/preferences.ml | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/ide/coq.ml b/ide/coq.ml index 91cd448eda..e7eea4ced2 100644 --- a/ide/coq.ml +++ b/ide/coq.ml @@ -119,7 +119,7 @@ let rec filter_coq_opts args = and asks_for_coqtop args = let pb_mes = GWindow.message_dialog - ~message:"Failed to load coqtop. Reset the preference to default ?" + ~message:"Failed to load coqidetop. Reset the preference to default ?" ~message_type:`QUESTION ~buttons:GWindow.Buttons.yes_no () in match pb_mes#run () with | `YES -> @@ -130,7 +130,7 @@ and asks_for_coqtop args = | `DELETE_EVENT | `NO -> let () = pb_mes#destroy () in let cmd_sel = GWindow.file_selection - ~title:"Coqtop to execute (edit your preference then)" + ~title:"coqidetop to execute (edit your preference then)" ~filename:(coqtop_path ()) ~urgency_hint:true () in match cmd_sel#run () with | `OK -> @@ -419,7 +419,7 @@ let rec respawn_coqtop ?(why=Unexpected) coqtop = let title = "Warning" in let icon = (warn_image ())#coerce in let buttons = ["Reset"; "Save all and quit"; "Quit without saving"] in - let ans = GToolbox.question_box ~title ~buttons ~icon "Coqtop died badly." in + let ans = GToolbox.question_box ~title ~buttons ~icon "coqidetop died badly." in if ans = 2 then (!save_all (); GtkMain.Main.quit ()) else if ans = 3 then GtkMain.Main.quit () | Planned -> () diff --git a/ide/preferences.ml b/ide/preferences.ml index 4aa8c92f73..1fdf54d4d1 100644 --- a/ide/preferences.ml +++ b/ide/preferences.ml @@ -692,7 +692,7 @@ let configure ?(apply=(fun () -> ())) parent = let cmd_coqtop = string ~f:(fun s -> cmd_coqtop#set (if s = "AUTO" then None else Some s)) - " coqtop" (match cmd_coqtop#get with |None -> "AUTO" | Some x -> x) in + " coqidetop" (match cmd_coqtop#get with |None -> "AUTO" | Some x -> x) in let cmd_coqc = pstring " coqc" cmd_coqc in let cmd_make = pstring " make" cmd_make in let cmd_coqmakefile = pstring "coqmakefile" cmd_coqmakefile in |