| 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
|
| Mon, 14 May 2001 13:34:54 +0000 |
Stefan Monnier |
(try_alternative_families): First try the FAMILY.
|
| Mon, 14 May 2001 12:46:12 +0000 |
Gerd Moellmann |
(split_font_name): Make sure to leave the loop
|
