Thu, 06 Mar 2003 13:07:24 +0000 |
Juanma Barranquero |
*** empty log message ***
|
Thu, 06 Mar 2003 13:04:47 +0000 |
Juanma Barranquero |
(w32_get_rdb_resource): New function.
|
Thu, 06 Mar 2003 13:01:32 +0000 |
Juanma Barranquero |
(Fx_get_resource, x_get_resource_string): Pass xrdb to check for resources
|
Thu, 06 Mar 2003 13:00:04 +0000 |
Juanma Barranquero |
(w32_make_rdb): New function.
|
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 ***
|
Wed, 05 Mar 2003 20:51:10 +0000 |
Richard M. Stallman |
(query-replace-read-args): Use save-excursion.
|