src/widget.cpp
branchcpp_gui
changeset 6242 17609af8a1d1
parent 6241 6a7a41b0cd32
child 6245 6fa82c6ee8ca
--- a/src/widget.cpp	Tue Feb 13 11:09:58 2007 +0000
+++ b/src/widget.cpp	Tue Feb 13 11:38:40 2007 +0000
@@ -463,7 +463,7 @@
 	}
 
 
-	if (flags4 & WF_WHITE_BORDER_MASK) {
+	if (flash_timeout > 0) {
 		//DrawFrameRect(w->left, w->top, w->left + w->width-1, w->top+w->height-1, 0xF, 0x10);
 		DrawFrameRect(0, 0, width-1, height-1, 0xF, FR_BORDERONLY);
 	}
@@ -681,7 +681,7 @@
 	}
 
 	w1->desc_flags = WDF_DEF_WIDGET;
-	w1->flags4 &= ~WF_WHITE_BORDER_MASK;
+	w1->flash_timeout = 0;
 
 	WP(w1,dropdown_d).disabled_state = disabled_mask;
 	WP(w1,dropdown_d).hidden_state = hidden_mask;