diff options
| author | Gerd Moellmann | 1999-07-26 21:22:23 +0000 |
|---|---|---|
| committer | Gerd Moellmann | 1999-07-26 21:22:23 +0000 |
| commit | 203ae5607eaa362c1501a6c0d0ddc21da6f61bce (patch) | |
| tree | 277f34bb7a9fd7a1725a0725b0b6fd2f551b081b /src | |
| parent | 608369ba90e88abb9f788f8edfbf876df8582bef (diff) | |
| download | emacs-203ae5607eaa362c1501a6c0d0ddc21da6f61bce.tar.gz emacs-203ae5607eaa362c1501a6c0d0ddc21da6f61bce.zip | |
(EmacsFrameSetCharSize): Don't add XtNborderWidth
value to frame width and height.
Diffstat (limited to 'src')
| -rw-r--r-- | src/widget.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/widget.c b/src/widget.c index 1d0cf995177..905c8738c5e 100644 --- a/src/widget.c +++ b/src/widget.c | |||
| @@ -924,16 +924,18 @@ EmacsFrameSetCharSize (widget, columns, rows) | |||
| 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 |