bug#5848: 23.1.95; bands of background after font change if --with-x-toolkit=no

[YAMAMOTO Mitsuharu]

>>>>> On Tue, 06 Apr 2010 20:54:24 +0200, Jan Djärv <jan.h.d@swipnet.se> said:

> /* Return the pixel width/height of frame F if it has
>     COLS columns/LINES rows.  */

> #define FRAME_TEXT_COLS_TO_PIXEL_WIDTH(f, cols) \
>    (FRAME_COL_TO_PIXEL_X (f, cols) \
>     + (f)->scroll_bar_actual_width \
>     + FRAME_TOTAL_FRINGE_WIDTH (f)      \
>     + FRAME_INTERNAL_BORDER_WIDTH (f))

> #define FRAME_TEXT_LINES_TO_PIXEL_HEIGHT(f, lines) \
>    (FRAME_LINE_TO_PIXEL_Y (f, lines) \
>     + FRAME_INTERNAL_BORDER_WIDTH (f))


> and

> #define FRAME_INTERNAL_BORDER_WIDTH(F) ((F)->internal_border_width)

> But the internal border is on two sides, so it should be 
> 2*FRAME_INTERNAL_BORDER_WIDTH (f).

FRAME_COL_TO_PIXEL_X and FRAME_LINE_TO_PIXEL_Y include the left and
top side internal border width, respectively.  So, the internal border
is already counted twice in FRAME_TEXT_COLS_TO_PIXEL_WIDTH and
FRAME_TEXT_LINES_TO_PIXEL_HEIGHT above.

                                     YAMAMOTO Mitsuharu
                                mituharu@math.s.chiba-u.ac.jp