widget.c
changeset 2703 edd58a233988
parent 2683 6f67fcf73873
child 2757 854d1b1d61b2
equal deleted inserted replaced
2702:e4663e88c530 2703:edd58a233988
   392 			goto draw_default;
   392 			goto draw_default;
   393 		}
   393 		}
   394 
   394 
   395 		case WWT_STICKYBOX: {
   395 		case WWT_STICKYBOX: {
   396 			assert(r.right - r.left == 11); // XXX - to ensure the same sizes are used everywhere!
   396 			assert(r.right - r.left == 11); // XXX - to ensure the same sizes are used everywhere!
       
   397 
       
   398 			clicked = !!(w->flags4 & WF_STICKY);
   397 			DrawFrameRect(r.left, r.top, r.right, r.bottom, wi->color, (clicked) ? FR_LOWERED : 0);
   399 			DrawFrameRect(r.left, r.top, r.right, r.bottom, wi->color, (clicked) ? FR_LOWERED : 0);
   398 			DrawSprite((clicked) ? SPR_PIN_UP : SPR_PIN_DOWN, r.left + 2 + clicked, r.top + 3 + clicked);
   400 			DrawSprite((clicked) ? SPR_PIN_UP : SPR_PIN_DOWN, r.left + 2 + clicked, r.top + 3 + clicked);
   399 			break;
   401 			break;
   400 		}
   402 		}
   401 
   403