src/settings_gui.cpp
changeset 9161 fda175383e87
parent 9142 858a058aa730
child 9164 18e971e0b44f
equal deleted inserted replaced
9160:d7160ce357d2 9161:fda175383e87
   653 				case GDW_CANCEL: // Cancel button - close window, abandon changes
   653 				case GDW_CANCEL: // Cancel button - close window, abandon changes
   654 					delete w;
   654 					delete w;
   655 					break;
   655 					break;
   656 			} break;
   656 			} break;
   657 
   657 
   658 		case WE_MOUSELOOP: /* Handle the visual 'clicking' of the buttons */
   658 		case WE_TICK: /* Handle the visual 'clicking' of the buttons */
   659 			if (diffic_d->timeout != 0) {
   659 			if (diffic_d->timeout != 0) {
   660 				diffic_d->timeout--;
   660 				diffic_d->timeout--;
   661 				if (diffic_d->timeout == 0) diffic_d->clicked_button = NO_SETTINGS_BUTTON;
   661 				if (diffic_d->timeout == 0) diffic_d->clicked_button = NO_SETTINGS_BUTTON;
   662 				w->SetDirty();
   662 				w->SetDirty();
   663 			}
   663 			}