From e05a4f5bc55f825145a8795c682f475d735eafc4 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 12 Oct 2008 10:22:50 -0400 Subject: Customized font faces --- src/elisp/urweb-defs.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/elisp/urweb-defs.el') diff --git a/src/elisp/urweb-defs.el b/src/elisp/urweb-defs.el index 19d22cd3..c9b16369 100644 --- a/src/elisp/urweb-defs.el +++ b/src/elisp/urweb-defs.el @@ -64,9 +64,9 @@ notion of \"the end of an outline\".") (easy-menu-define urweb-mode-menu urweb-mode-map "Menu used in `urweb-mode'." - '("URWEB" - ["URWEB mode help (brief)" describe-mode t] - ["URWEB mode *info*" urweb-mode-info t] + '("Ur/Web" + ["Ur/Web mode help (brief)" describe-mode t] + ["Ur/Web mode *info*" urweb-mode-info t] )) ;; Make's sure they appear in the menu bar when urweb-mode-map is active. -- cgit v1.2.3