Wed, 21 Jul 1999 21:43:52 +0000 |
Gerd Moellmann |
New file.
|
Wed, 21 Jul 1999 21:43:52 +0000 |
Gerd Moellmann |
Rewritten.
|
Wed, 21 Jul 1999 21:43:52 +0000 |
Gerd Moellmann |
(scroll_bar_end_scroll): New.
|
Wed, 21 Jul 1999 21:43:52 +0000 |
Gerd Moellmann |
(text_property_list): New.
|
Wed, 21 Jul 1999 21:43:52 +0000 |
Gerd Moellmann |
(EmacsFrameSetCharSize): Take widget's border width
|
Wed, 21 Jul 1999 21:43:52 +0000 |
Gerd Moellmann |
(x_set_font): Don't call face-set-after-frame-default
|
Wed, 21 Jul 1999 21:43:52 +0000 |
Gerd Moellmann |
(Fcoordinates_in_window_p): Rewritten.
|