private void reset_Click(object sender, RoutedEventArgs e)
{
    counter.reset();
    update();
}