widget.c
changeset 915 d845fe7cf6f2
parent 894 8b59c639837d
child 1095 b59632d9df1b
equal deleted inserted replaced
914:4359607898f7 915:d845fe7cf6f2
   406 			break;
   406 			break;
   407 		}
   407 		}
   408 
   408 
   409 		case WWT_RESIZEBOX: {
   409 		case WWT_RESIZEBOX: {
   410 			assert(r.right - r.left == 11); // XXX - to ensure the same sizes are used everywhere!
   410 			assert(r.right - r.left == 11); // XXX - to ensure the same sizes are used everywhere!
   411 			
   411 
   412 			DrawFrameRect(r.left, r.top, r.right, r.bottom, wi->color, 0);
   412 			DrawFrameRect(r.left, r.top, r.right, r.bottom, wi->color, 0);
   413 			DrawSprite(SPR_WINDOW_RESIZE, r.left + 3, r.top + 3);
   413 			DrawSprite(SPR_WINDOW_RESIZE, r.left + 3, r.top + 3);
   414 			break;
   414 			break;
   415 		}
   415 		}
   416 
   416