# HG changeset patch # User Jan Dj¸«£rv # Date 1043017575 0 # Node ID 3aad85888ad23042c2f15f2296f467b12f2cc65f # Parent 7e9c58008effada1ec90db577dece6243903f31c ChangeLog diff -r 7e9c58008eff -r 3aad85888ad2 src/gtkutil.c --- a/src/gtkutil.c Sun Jan 19 22:55:00 2003 +0000 +++ b/src/gtkutil.c Sun Jan 19 23:06:15 2003 +0000 @@ -454,7 +454,7 @@ up in the wrong place as tool bar height has not been taken into account. So we cheat a bit by setting a height that is what it will have later on when tool bar items are added. */ - if (FRAME_TOOLBAR_HEIGHT (f) == 0) + if (FRAME_EXTERNAL_TOOL_BAR (f) && FRAME_TOOLBAR_HEIGHT (f) == 0) FRAME_TOOLBAR_HEIGHT (f) = 34; gtk_widget_set_double_buffered (wvbox, FALSE);