From a05c335c2d38a5cf08bc0fda76d69a13e0ead040 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 4 Dec 2012 23:26:16 +0000
Subject: Display Menu now called View Menu (in CoqIDE preferences).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16018 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/preferences.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ide/preferences.ml b/ide/preferences.ml
index 3a2204601d..ed4f4cd1f3 100644
--- a/ide/preferences.ml
+++ b/ide/preferences.ml
@@ -699,7 +699,7 @@ let configure ?(apply=(fun () -> ())) () =
       ~allow:the_valid_mod
       ~f:(fun l -> current.modifier_for_display <- mod_list_to_str l)
       ~help:help_string
-      "Modifiers for Display Menu"
+      "Modifiers for View Menu"
       (str_to_mod_list current.modifier_for_display)
   in
   let modifiers_valid =
-- 
cgit v1.2.3