Mon, 30 Aug 1999 23:14:33 +0000 |
Gerd Moellmann |
(x_figure_window_size): Use FRAME_FLAGS_AREA_COLS instead
|
Mon, 30 Aug 1999 23:14:28 +0000 |
Gerd Moellmann |
(window_box_width): Use FRAME_FLAGS_AREA_COLS instead of
|
Mon, 30 Aug 1999 23:14:27 +0000 |
Gerd Moellmann |
(coordinates_in_window): Use
|
Mon, 30 Aug 1999 23:14:26 +0000 |
Gerd Moellmann |
(set_frame_size): Set flags_area_extra to
|
Mon, 30 Aug 1999 23:14:25 +0000 |
Gerd Moellmann |
(FRAME_WINDOW_WIDTH_ARG): Add in FRAME_FLAGS_AREA_COLS
|
Mon, 30 Aug 1999 23:14:23 +0000 |
Gerd Moellmann |
(mode_line_string): Add FRAME_LEFT_FLAGS_AREA_WIDTH
|
Mon, 30 Aug 1999 23:14:22 +0000 |
Gerd Moellmann |
(WINDOW_DISPLAY_PIXEL_WIDTH): Subtract
|