Mercurial > emacs
comparison src/widget.c @ 8945:4a2b3d7c2394
(set_frame_size, EmacsFrameSetCharSize): Change
VERTICAL_SCROLL_BAR_PIXEL_WIDTH to FRAME_SCROLL_BAR_PIXEL_WIDTH.
author | Karl Heuer <kwzh@gnu.org> |
---|---|
date | Tue, 20 Sep 1994 05:15:25 +0000 |
parents | e6f91355333e |
children | cdbd78e42e03 |
comparison
equal
deleted
inserted
replaced
8944:07b281d80445 | 8945:4a2b3d7c2394 |
---|---|
422 char shell_position [32]; | 422 char shell_position [32]; |
423 | 423 |
424 /* Take into account the size of the scrollbar */ | 424 /* Take into account the size of the scrollbar */ |
425 frame->display.x->vertical_scroll_bar_extra | 425 frame->display.x->vertical_scroll_bar_extra |
426 = (FRAME_HAS_VERTICAL_SCROLL_BARS (frame) | 426 = (FRAME_HAS_VERTICAL_SCROLL_BARS (frame) |
427 ? VERTICAL_SCROLL_BAR_PIXEL_WIDTH (frame) | 427 ? FRAME_SCROLL_BAR_PIXEL_WIDTH (frame) |
428 : 0); | 428 : 0); |
429 | 429 |
430 | 430 |
431 change_frame_size (frame, h, w, 1, 0); | 431 change_frame_size (frame, h, w, 1, 0); |
432 char_to_pixel_size (ew, w, h, &pixel_width, &pixel_height); | 432 char_to_pixel_size (ew, w, h, &pixel_width, &pixel_height); |
882 if (columns < 3) columns = 3; /* no way buddy */ | 882 if (columns < 3) columns = 3; /* no way buddy */ |
883 | 883 |
884 check_frame_size (f, &rows, &columns); | 884 check_frame_size (f, &rows, &columns); |
885 f->display.x->vertical_scroll_bar_extra | 885 f->display.x->vertical_scroll_bar_extra |
886 = (FRAME_HAS_VERTICAL_SCROLL_BARS (f) | 886 = (FRAME_HAS_VERTICAL_SCROLL_BARS (f) |
887 ? VERTICAL_SCROLL_BAR_PIXEL_WIDTH (f) | 887 ? FRAME_SCROLL_BAR_PIXEL_WIDTH (f) |
888 : 0); | 888 : 0); |
889 char_to_pixel_size (ew, columns, rows, &pixel_width, &pixel_height); | 889 char_to_pixel_size (ew, columns, rows, &pixel_width, &pixel_height); |
890 | 890 |
891 /* Recompute the entire geometry management. */ | 891 /* Recompute the entire geometry management. */ |
892 if (ew->core.width != pixel_width || ew->core.height != pixel_height) | 892 if (ew->core.width != pixel_width || ew->core.height != pixel_height) |