3120 |
= (!FRAME_HAS_VERTICAL_SCROLL_BARS (f) |
= (!FRAME_HAS_VERTICAL_SCROLL_BARS (f) |
3121 |
? 0 |
? 0 |
3122 |
: (FRAME_SCROLL_BAR_COLS (f) * FONT_WIDTH (f->output_data.x->font))); |
: (FRAME_SCROLL_BAR_COLS (f) * FONT_WIDTH (f->output_data.x->font))); |
3123 |
f->output_data.x->flags_areas_extra |
f->output_data.x->fringes_extra |
3124 |
= FRAME_FLAGS_AREA_WIDTH (f); |
= FRAME_FRINGE_WIDTH (f); |
3125 |
f->output_data.x->pixel_width = CHAR_TO_PIXEL_WIDTH (f, f->width); |
f->output_data.x->pixel_width = CHAR_TO_PIXEL_WIDTH (f, f->width); |
3126 |
f->output_data.x->pixel_height = CHAR_TO_PIXEL_HEIGHT (f, f->height); |
f->output_data.x->pixel_height = CHAR_TO_PIXEL_HEIGHT (f, f->height); |
3127 |
|
|