diff options
| author | Martin Rudalics | 2013-12-03 19:08:14 +0100 |
|---|---|---|
| committer | Martin Rudalics | 2013-12-03 19:08:14 +0100 |
| commit | 0b254a38fa0c852d1f7297e31b811f0d2962c81d (patch) | |
| tree | cf93ac7e3124a23392e53167a6f747b94e448a56 /src | |
| parent | bab5c317ae3d099c84ec79ea4bfb0d880cccea37 (diff) | |
| download | emacs-0b254a38fa0c852d1f7297e31b811f0d2962c81d.tar.gz emacs-0b254a38fa0c852d1f7297e31b811f0d2962c81d.zip | |
Add to last fix: In gtk resizing count tool and menubars.
Diffstat (limited to 'src')
| -rw-r--r-- | src/gtkutil.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/gtkutil.c b/src/gtkutil.c index 4ecdd18aeb2..ef422989c61 100644 --- a/src/gtkutil.c +++ b/src/gtkutil.c | |||
| @@ -952,7 +952,9 @@ xg_frame_set_char_size (struct frame *f, int width, int height) | |||
| 952 | /* Must resize our top level widget. Font size may have changed, | 952 | /* Must resize our top level widget. Font size may have changed, |
| 953 | but not rows/cols. */ | 953 | but not rows/cols. */ |
| 954 | gtk_window_resize (GTK_WINDOW (FRAME_GTK_OUTER_WIDGET (f)), | 954 | gtk_window_resize (GTK_WINDOW (FRAME_GTK_OUTER_WIDGET (f)), |
| 955 | pixelwidth, pixelheight); | 955 | pixelwidth + FRAME_TOOLBAR_WIDTH (f), |
| 956 | pixelheight + FRAME_TOOLBAR_HEIGHT (f) | ||
| 957 | + FRAME_MENUBAR_HEIGHT (f)); | ||
| 956 | x_wm_set_size_hint (f, 0, 0); | 958 | x_wm_set_size_hint (f, 0, 0); |
| 957 | 959 | ||
| 958 | SET_FRAME_GARBAGED (f); | 960 | SET_FRAME_GARBAGED (f); |