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 ***
|