It should still work with Ubuntu Mono, though. Adding a font selection option is a workaround, not a fix.
It should still work with Ubuntu Mono, though. Adding a font selection option is a workaround, not a fix.