3239 |
: FRAME_SCROLL_BAR_PIXEL_WIDTH (f) > 0 |
: FRAME_SCROLL_BAR_PIXEL_WIDTH (f) > 0 |
3240 |
? FRAME_SCROLL_BAR_PIXEL_WIDTH (f) |
? FRAME_SCROLL_BAR_PIXEL_WIDTH (f) |
3241 |
: (FRAME_SCROLL_BAR_COLS (f) * FONT_WIDTH (f->output_data.w32->font))); |
: (FRAME_SCROLL_BAR_COLS (f) * FONT_WIDTH (f->output_data.w32->font))); |
3242 |
f->output_data.w32->flags_areas_extra |
f->output_data.w32->fringes_extra |
3243 |
= FRAME_FLAGS_AREA_WIDTH (f); |
= FRAME_FRINGE_WIDTH (f); |
3244 |
f->output_data.w32->pixel_width = CHAR_TO_PIXEL_WIDTH (f, f->width); |
f->output_data.w32->pixel_width = CHAR_TO_PIXEL_WIDTH (f, f->width); |
3245 |
f->output_data.w32->pixel_height = CHAR_TO_PIXEL_HEIGHT (f, f->height); |
f->output_data.w32->pixel_height = CHAR_TO_PIXEL_HEIGHT (f, f->height); |
3246 |
|
|