From 237fa3ce013ecc9747633c0071cf6b80618ed291 Mon Sep 17 00:00:00 2001
From: dan <dan>
Date: Sun, 16 May 1999 15:11:13 +0000
Subject: [PATCH] Added WMSetTabViewFont().

---
 WINGs/WINGs.h    |  2 ++
 WINGs/wtabview.c | 10 ++++++++++
 2 files changed, 12 insertions(+)

diff --git a/WINGs/WINGs.h b/WINGs/WINGs.h
index fdf91c4b..5d1fe86d 100644
--- a/WINGs/WINGs.h
+++ b/WINGs/WINGs.h
@@ -1119,6 +1119,8 @@ int WMGetSplitViewDividerThickness(WMSplitView *sPtr);
 
 WMTabView *WMCreateTabView(WMWidget *parent);
 
+void WMSetTabViewFont(WMTabView *tPtr, WMFont *font);
+
 void WMAddItemInTabView(WMTabView *tPtr, WMTabViewItem *item);
 
 void WMInsertItemInTabView(WMTabView *tPtr, int index, WMTabViewItem *item);
diff --git a/WINGs/wtabview.c b/WINGs/wtabview.c
index 6844cbe7..8c382b5f 100644
--- a/WINGs/wtabview.c
+++ b/WINGs/wtabview.c
@@ -601,6 +601,16 @@ WMCreateTabViewItemWithIdentifier(int identifier)
 }
 
 
+void
+WMSetTabViewFont(WMTabView *tPtr, WMFont *font)
+{
+    if (tPtr->font)
+	WMReleaseFont(tPtr->font);
+
+    tPtr->font = WMRetainFont(font);
+}
+
+
 void
 WMSetTabViewItemLabel(WMTabViewItem *item, char *label)
 {