partial void stepperAction (NSStepper sender) { badgeNumber.StringValue = sender.StringValue; UpdateBadge (); }