From 3b28027dce1a9dd55538e36cc1ceb209c9f1a1b3 Mon Sep 17 00:00:00 2001
From: kojima <kojima>
Date: Tue, 18 Apr 2000 03:31:36 +0000
Subject: [PATCH] repaint label after color change

---
 WINGs/wlabel.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/WINGs/wlabel.c b/WINGs/wlabel.c
index 39e9507c..6e158046 100644
--- a/WINGs/wlabel.c
+++ b/WINGs/wlabel.c
@@ -167,6 +167,10 @@ WMSetLabelTextColor(WMLabel *lPtr, WMColor *color)
     if (lPtr->textColor)
 	WMReleaseColor(lPtr->textColor);
     lPtr->textColor = WMRetainColor(color);
+
+    if (lPtr->view->flags.realized) {
+	paintLabel(lPtr);
+    }
 }