| Thu, 22 Mar 2001 19:51:57 +0000 |
Gerd Moellmann |
(x_update_menu_appearance): Renamed from
|
| Thu, 22 Mar 2001 18:33:28 +0000 |
Gerd Moellmann |
(x_set_menu_resources_from_menu_face) [USE_X_TOOLKIT]:
|
| Thu, 22 Mar 2001 13:33:13 +0000 |
Gerd Moellmann |
(xm_set_menu_resources_from_menu_face): Remove
|
| Tue, 13 Mar 2001 13:16:10 +0000 |
Gerd Moellmann |
(xm_set_menu_resources_from_menu_face): Change
|
| Thu, 08 Mar 2001 20:55:20 +0000 |
Gerd Moellmann |
(face_at_string_position): Add parameter MOUSE_P.
|
| Fri, 02 Mar 2001 13:30:40 +0000 |
Eli Zaretskii |
(Finternal_set_lisp_face_attribute)
|
| Tue, 13 Feb 2001 15:22:51 +0000 |
Gerd Moellmann |
(best_matching_font): New parameter width_ratio.
|
