diff options
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coqide.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index c7b231bf35..1797a7e51a 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -2308,7 +2308,7 @@ let main files = `JUMP_TO; add_to_menu_toolbar "_Start" - ~tooltip:"Go to start" + ~tooltip:"Restart Coq" ~key:GdkKeysyms._Home ~callback:force_reset_initial `GOTO_TOP; |