434 |
: (FRAME_SCROLL_BAR_COLS (frame) |
: (FRAME_SCROLL_BAR_COLS (frame) |
435 |
* FONT_WIDTH (frame->output_data.x->font))); |
* FONT_WIDTH (frame->output_data.x->font))); |
436 |
|
|
437 |
frame->output_data.x->fringes_extra |
x_compute_fringe_widths (frame, 0); |
|
= FRAME_FRINGE_WIDTH (frame); |
|
438 |
|
|
439 |
change_frame_size (frame, h, w, 1, 0, 0); |
change_frame_size (frame, h, w, 1, 0, 0); |
440 |
char_to_pixel_size (ew, w, h, &pixel_width, &pixel_height); |
char_to_pixel_size (ew, w, h, &pixel_width, &pixel_height); |
911 |
? 0 |
? 0 |
912 |
: (FRAME_SCROLL_BAR_COLS (f) * FONT_WIDTH (f->output_data.x->font))); |
: (FRAME_SCROLL_BAR_COLS (f) * FONT_WIDTH (f->output_data.x->font))); |
913 |
|
|
914 |
f->output_data.x->fringes_extra |
x_compute_fringe_widths (f, 0); |
|
= FRAME_FRINGE_WIDTH (f); |
|
915 |
|
|
916 |
char_to_pixel_size (ew, columns, rows, &pixel_width, &pixel_height); |
char_to_pixel_size (ew, columns, rows, &pixel_width, &pixel_height); |
917 |
|
|