Mercurial > emacs
comparison src/widget.c @ 25078:6de9d21f8a24
(EmacsFrameSetCharSize): Don't add XtNborderWidth
value to frame width and height.
author | Gerd Moellmann <gerd@gnu.org> |
---|---|
date | Mon, 26 Jul 1999 21:22:23 +0000 |
parents | bd6d15dc5a10 |
children | 6ad585efe29d |
comparison
equal
deleted
inserted
replaced
25077:3f9fae091562 | 25078:6de9d21f8a24 |
---|---|
922 : (FRAME_SCROLL_BAR_COLS (f) * FONT_WIDTH (f->output_data.x->font))); | 922 : (FRAME_SCROLL_BAR_COLS (f) * FONT_WIDTH (f->output_data.x->font))); |
923 | 923 |
924 f->output_data.x->flags_areas_extra | 924 f->output_data.x->flags_areas_extra |
925 = 2 * FRAME_FLAGS_AREA_WIDTH (f); | 925 = 2 * FRAME_FLAGS_AREA_WIDTH (f); |
926 | 926 |
927 char_to_pixel_size (ew, columns, rows, &pixel_width, &pixel_height); | |
928 | |
929 #if 0 /* This doesn't seem to be right. The frame gets too wide. --gerd. */ | |
927 /* Something is really strange here wrt to the border width: | 930 /* Something is really strange here wrt to the border width: |
928 Apparently, XtNwidth and XtNheight include the border, so we have | 931 Apparently, XtNwidth and XtNheight include the border, so we have |
929 to add it here. But the XtNborderWidth set for the widgets has | 932 to add it here. But the XtNborderWidth set for the widgets has |
930 no similarity to what f->output_data.x->border_width is set to. */ | 933 no similarity to what f->output_data.x->border_width is set to. */ |
931 char_to_pixel_size (ew, columns, rows, &pixel_width, &pixel_height); | |
932 | |
933 XtVaGetValues (widget, XtNborderWidth, &border_width, NULL); | 934 XtVaGetValues (widget, XtNborderWidth, &border_width, NULL); |
934 pixel_height += 2 * border_width; | 935 pixel_height += 2 * border_width; |
935 pixel_width += 2 * border_width; | 936 pixel_width += 2 * border_width; |
936 | 937 #endif |
938 | |
937 /* Manually change the height and width of all our widgets, | 939 /* Manually change the height and width of all our widgets, |
938 adjusting each widget by the same increments. */ | 940 adjusting each widget by the same increments. */ |
939 if (ew->core.width != pixel_width | 941 if (ew->core.width != pixel_width |
940 || ew->core.height != pixel_height) | 942 || ew->core.height != pixel_height) |
941 { | 943 { |