From 37ba5a836f88db5500293cd52a1f0cb773eea651 Mon Sep 17 00:00:00 2001 From: dan Date: Mon, 17 May 1999 16:04:48 +0000 Subject: [PATCH] bug fixes. --- WINGs/wtabview.c | 2 ++ WPrefs.app/Appearance.c | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/WINGs/wtabview.c b/WINGs/wtabview.c index 1fc75d69..787c1b97 100644 --- a/WINGs/wtabview.c +++ b/WINGs/wtabview.c @@ -640,6 +640,8 @@ WMSetTabViewFont(WMTabView *tPtr, WMFont *font) WMReleaseFont(tPtr->font); tPtr->font = WMRetainFont(font); + tPtr->tabHeight = WMFontHeight(tPtr->font) + 3; + recalcTabWidth(tPtr); } diff --git a/WPrefs.app/Appearance.c b/WPrefs.app/Appearance.c index 71ec111f..c4f90c9e 100644 --- a/WPrefs.app/Appearance.c +++ b/WPrefs.app/Appearance.c @@ -1857,7 +1857,7 @@ createPanel(Panel *p) WMGroupButtons(panel->taliB[0], panel->taliB[1]); WMGroupButtons(panel->taliB[0], panel->taliB[2]); - WMMapSubwidgets(panel->taliB); + WMMapSubwidgets(panel->taliF); WMMapSubwidgets(panel->optF); -- 2.11.4.GIT