# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 895971603 0
# Node ID 51847ba069f8ee02f821aec3d81c57e28b6252f1
# Parent  ebcc36b6b95e2c62a666ed2a829a8414a72d99f5
(toggle-case-fold-search): New command.
(menu-bar-options-menu): Put that in the menu.

diff -r ebcc36b6b95e -r 51847ba069f8 lisp/menu-bar.el
--- a/lisp/menu-bar.el	Sun May 24 00:55:39 1998 +0000
+++ b/lisp/menu-bar.el	Sun May 24 01:00:03 1998 +0000
@@ -415,6 +415,10 @@
 			(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)"