diff options
author | 2008-06-08 15:34:09 +0000 | |
---|---|---|
committer | 2008-06-08 15:34:09 +0000 | |
commit | 70f8c345685278a567fbb075f222c79f0533e90e (patch) | |
tree | 892cd77c4a2340cdff3dc9a4b071b418fa38ba1a | |
parent | 57c2bed539a4d26ef24bfb9c0ee3a3dafcec8661 (diff) |
enleve les majuscules dans Save All, comem suggéré pas Hugo
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11071 85f007b7-540e-0410-9357-904b9bb8a0f7
-rw-r--r-- | ide/coqide.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index 6ac5c779b..1906537f6 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -1994,7 +1994,7 @@ let main files = ignore (saveas_m#connect#activate saveas_f); (* File/Save All Menu *) - let saveall_m = file_factory#add_item "Sa_ve All" in + let saveall_m = file_factory#add_item "Sa_ve all" in let saveall_f () = Vector.iter (function @@ -2017,7 +2017,7 @@ let main files = ignore (saveall_m#connect#activate saveall_f); (* File/Revert Menu *) - let revert_m = file_factory#add_item "_Revert All Buffers" in + let revert_m = file_factory#add_item "_Revert all buffers" in let revert_f () = Vector.iter (function @@ -2038,7 +2038,7 @@ let main files = (* File/Close Menu *) let close_m = - file_factory#add_item "_Close Buffer" ~key:GdkKeysyms._W in + file_factory#add_item "_Close buffer" ~key:GdkKeysyms._W in let close_f () = let v = Option.get !active_view in let act = get_current_view_page () in |