| Thu, 06 Mar 2003 12:56:56 +0000 |
Juanma Barranquero |
(struct w32_display_info): Add xrdb member to support passing resources via -xrm
|
| Thu, 06 Mar 2003 10:52:39 +0000 |
John Paul Wallington |
*** empty log message ***
|
| Thu, 06 Mar 2003 10:50:20 +0000 |
John Paul Wallington |
(electric-buffer-list): Respect `Buffer-menu-use-header-line'.
|
| Thu, 06 Mar 2003 03:53:12 +0000 |
John Paul Wallington |
*** empty log message ***
|
| Thu, 06 Mar 2003 03:51:53 +0000 |
John Paul Wallington |
(Buffer-menu-mode-map): Add docstring.
|
| Thu, 06 Mar 2003 01:54:17 +0000 |
Vinicius Jose Latorre |
Check if background and foreground color are the same.
|
| Wed, 05 Mar 2003 20:51:33 +0000 |
Richard M. Stallman |
*** empty log message ***
|
