also keep ligatures off when reverting

This commit is contained in:
Riccardo Mottola 2021-08-19 14:57:24 +02:00
parent b3fa5f1949
commit b701d1a40b

View file

@ -766,7 +766,11 @@
// This is temporary
ft = [NSFont userFixedPitchFontOfSize:0.0];
at = [NSDictionary dictionaryWithObject:ft forKey:NSFontAttributeName];
at = [NSDictionary dictionaryWithObjectsAndKeys:
ft, NSFontAttributeName,
[NSNumber numberWithInt: 0], NSLigatureAttributeName,
nil];
as = [[NSAttributedString alloc] initWithString:text attributes:at];
[self setIsEdited:NO];