# HG changeset patch # User Gerd Moellmann # Date 936054868 0 # Node ID 255017b70168b98e1dd2de961e0cea653c931b7b # Parent 19b101d6ee2a8c0d265261c7ee8326e85dcd5315 (window_box_width): Use FRAME_FLAGS_AREA_COLS instead of 2 * that value. (window_box_left): Use FRAME_LEFT_FLAGS_AREA_WIDTH instead of FRAME_FLAGS_AREA_WIDTH. diff -r 19b101d6ee2a -r 255017b70168 src/xdisp.c --- a/src/xdisp.c Mon Aug 30 23:14:27 1999 +0000 +++ b/src/xdisp.c Mon Aug 30 23:14:28 1999 +0000 @@ -735,7 +735,7 @@ if (!w->pseudo_window_p) { - width -= FRAME_SCROLL_BAR_WIDTH (f) + 2 * FRAME_FLAGS_AREA_COLS (f); + width -= FRAME_SCROLL_BAR_WIDTH (f) + FRAME_FLAGS_AREA_COLS (f); if (area == TEXT_AREA) { @@ -792,7 +792,7 @@ if (!w->pseudo_window_p) { x += (WINDOW_LEFT_MARGIN (w) * CANON_X_UNIT (f) - + FRAME_FLAGS_AREA_WIDTH (f)); + + FRAME_LEFT_FLAGS_AREA_WIDTH (f)); if (area == TEXT_AREA) x += window_box_width (w, LEFT_MARGIN_AREA);