Tue, 14 Aug 2001 10:57:07 +0000 |
Gerd Moellmann |
(x_update_menu_appearance): Save and restore value of
|
Mon, 16 Jul 2001 12:22:17 +0000 |
Gerd Moellmann |
Comment fix.
|
Mon, 16 Jul 2001 12:21:02 +0000 |
Gerd Moellmann |
(clear_face_cache): Clear fonts on a display basis.
|
Tue, 10 Jul 2001 12:20:02 +0000 |
Gerd Moellmann |
(unload_color): Do nothing if PIXEL is -1.
|
Fri, 18 May 2001 11:06:40 +0000 |
Gerd Moellmann |
(xlfd_point_size): Don't divide pixel size from
|
Wed, 16 May 2001 15:08:35 +0000 |
Gerd Moellmann |
(split_font_name): Use the right field when
|
Tue, 15 May 2001 10:42:18 +0000 |
Gerd Moellmann |
(split_font_name): Handle `[...]' for the right
|