diff leim/leim-ext.el @ 66858:5efe1788a37c

(menu-bar-options-menu): Delete "Syntax Highlighting" entry, it is on by default now. (menu-bar-options-save): Do not save global-font-lock-mode.
author Dan Nicolaescu <dann@ics.uci.edu>
date Mon, 14 Nov 2005 16:20:34 +0000
parents 23a17af379b1
children b94a4bf1aca6
line wrap: on
line diff