# HG changeset patch # User Gerd Moellmann # Date 1003850093 0 # Node ID a87bf217f5a6dae07c3f8dc45e330fa1b88e1655 # Parent 6b1fa995737b3b93ea5192da02fc03af73b86ca1 (sync_window_with_frame_matrix_rows): Fix handling of windows which aren't full-width, fix handling of marginal areas. diff -r 6b1fa995737b -r a87bf217f5a6 src/dispnew.c --- a/src/dispnew.c Tue Oct 23 15:09:09 2001 +0000 +++ b/src/dispnew.c Tue Oct 23 15:14:53 2001 +0000 @@ -3005,8 +3005,7 @@ /* Synchronize glyph pointers in the current matrix of window W with - the current frame matrix. W must be full-width, and be on a tty - frame. */ + the current frame matrix. */ static void sync_window_with_frame_matrix_rows (w) @@ -3014,27 +3013,31 @@ { struct frame *f = XFRAME (w->frame); struct glyph_row *window_row, *window_row_end, *frame_row; - - /* Preconditions: W must be a leaf window and full-width. Its frame - must have a frame matrix. */ + int area, left, right, x, width; + + /* Preconditions: W must be a leaf window on a tty frame. */ xassert (NILP (w->hchild) && NILP (w->vchild)); - xassert (WINDOW_FULL_WIDTH_P (w)); xassert (!FRAME_WINDOW_P (f)); - /* If W is a full-width window, glyph pointers in W's current matrix - have, by definition, to be the same as glyph pointers in the - corresponding frame matrix. */ + left = margin_glyphs_to_reserve (w, 1, w->left_margin_width); + right = margin_glyphs_to_reserve (w, 1, w->right_margin_width); + x = w->current_matrix->matrix_x; + width = w->current_matrix->matrix_w; + window_row = w->current_matrix->rows; window_row_end = window_row + w->current_matrix->nrows; frame_row = f->current_matrix->rows + XFASTINT (w->top); - while (window_row < window_row_end) + + for (; window_row < window_row_end; ++window_row, ++frame_row) { - int area; - - for (area = LEFT_MARGIN_AREA; area <= LAST_AREA; ++area) - window_row->glyphs[area] = frame_row->glyphs[area]; - - ++window_row, ++frame_row; + window_row->glyphs[LEFT_MARGIN_AREA] + = frame_row->glyphs[0] + x; + window_row->glyphs[TEXT_AREA] + = window_row->glyphs[LEFT_MARGIN_AREA] + left; + window_row->glyphs[LAST_AREA] + = window_row->glyphs[LEFT_MARGIN_AREA] + width; + window_row->glyphs[RIGHT_MARGIN_AREA] + = window_row->glyphs[LAST_AREA] - right; } }