diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-10-12 10:22:50 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-12 10:22:50 -0400 |
| commit | e05a4f5bc55f825145a8795c682f475d735eafc4 (patch) | |
| tree | 27011151b712605e24990539709501a6c486a4bf /src/elisp/urweb-defs.el | |
| parent | e1f7d4b65f8c2c190c901d364db5e0c84474e00d (diff) | |
Customized font faces
Diffstat (limited to 'src/elisp/urweb-defs.el')
| -rw-r--r-- | src/elisp/urweb-defs.el | 6 |
1 files changed, 3 insertions, 3 deletions
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. |