(toggle-case-fold-search): New command.

(menu-bar-options-menu): Put that in the menu.

diff --git a/lisp/menu-bar.el b/lisp/menu-bar.el
index b0015abda8e634454b1930a24614ede33a95496a..eec880a5cbd684a75a6fb472b0b75db12954662c 100644 (file)
--- a/lisp/menu-bar.el
+++ b/lisp/menu-bar.el
@@ -415,6 +415,10 @@ Do the same for the keys of the same name."
                        (setq uniquify-buffer-name-style
                              (if (not uniquify-buffer-name-style)
                                  'forward))))
+(define-key menu-bar-options-menu [case-fold-search]
+  (menu-bar-make-toggle toggle-case-fold-search case-fold-search
+                       "Case folding in searches"
+                       "Case folding in searches %s"))
 (define-key menu-bar-options-menu [transient-mark-mode]
   (menu-bar-make-toggle toggle-transient-mark-mode transient-mark-mode
                        "Transient Mark Mode (highlights region)"