Mon, 03 Dec 2001 06:09:24 +0000 |
Pavel Jank |
Remove unnecessary spaces.
|
Thu, 25 Oct 2001 01:08:52 +0000 |
Miles Bader |
(facemenu-add-new-face): Fix variable names.
|
Wed, 24 Oct 2001 22:53:45 +0000 |
Richard M. Stallman |
(facemenu-unlisted-faces): Improve doc strings
|
Sat, 27 Jan 2001 11:48:03 +0000 |
Eli Zaretskii |
(facemenu-set-face, facemenu-set-face-from-menu): Doc fix.
|
Thu, 07 Dec 2000 12:14:08 +0000 |
Dave Love |
(facemenu-unlisted-faces): Fix value.
|
Thu, 06 Jul 2000 13:58:49 +0000 |
Stefan Monnier |
Docstrings fixes.
|
Sun, 21 May 2000 16:56:47 +0000 |
Dave Love |
(facemenu-set-face): Fix interactive prompt.
|