Yay! That's great! I'll have to study that blogpost when the crazyness at work simmers down. Øyvind
Responded 5 years ago
Yes. Tried both to check and uncheck it with no effect. It's the "Desktop code font" that's the problem, though.
Responded 4 years ago