Fix look of position time field to match the rest of the UI.

This commit is contained in:
Jan Weiß 2021-05-02 17:01:51 +02:00
parent 9c58f67c48
commit 57a7dd0de9

View file

@ -22,10 +22,10 @@ NSString * formatTimer(long minutes, long seconds, unichar prefix) {
- (void)awakeFromNib - (void)awakeFromNib
{ {
showTimeRemaining = [[NSUserDefaults standardUserDefaults] boolForKey:kTimerModeKey]; showTimeRemaining = [[NSUserDefaults standardUserDefaults] boolForKey:kTimerModeKey];
if (@available(macOS 10.15, *)) { if (@available(macOS 10.11, *)) {
fontAttributes = fontAttributes =
@{NSFontAttributeName : [NSFont monospacedSystemFontOfSize:13 @{NSFontAttributeName : [NSFont monospacedDigitSystemFontOfSize:13
weight:NSFontWeightMedium]}; weight:NSFontWeightRegular]};
[self update]; [self update];
} }
} }