* color.  The fix is to send a fake WM_SETFOCUS event to cause
* color.  The fix is to send a fake WM_SIZE event to cause
void setBackgroundPixel (int pixel) {	if (background == pixel) return;	super.setBackgroundPixel (pixel);	/*	* Bug in Windows.  Changing the background color of the Scale	* widget and calling InvalidateRect() still draws with the old	* color.  The fix is to send a fake WM_SETFOCUS event to cause	* it to redraw with the new background color.	*/	ignoreFocus = true;	OS.SendMessage (handle, OS.WM_SETFOCUS, 0, 0);	ignoreFocus = false;}