Parent Directory | Revision Log | Patch
revision 1.144 by abraham, Mon Feb 11 16:47:55 2002 UTC | revision 1.145 by abraham, Sun Feb 24 09:14:41 2002 UTC | |
---|---|---|
# | Line 431 WIDGET is the widget to apply the filter | Line 431 WIDGET is the widget to apply the filter |
431 | (defcustom custom-unlispify-remove-prefixes nil | (defcustom custom-unlispify-remove-prefixes nil |
432 | "Non-nil means remove group prefixes from option names in buffer." | "Non-nil means remove group prefixes from option names in buffer." |
433 | :group 'custom-menu | :group 'custom-menu |
434 | :group 'custom-buffer | |
435 | :type 'boolean) | :type 'boolean) |
436 | ||
437 | (defun custom-unlispify-menu-entry (symbol &optional no-suffix) | (defun custom-unlispify-menu-entry (symbol &optional no-suffix) |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |