Repaint the time labels when selecting a different time range

Now that we take DSTs of other timezones correctly into account here,
changing the date range can actually change the time labels.