I said we couldn't switch to a proportional font, not that we couldn't switch away from Ubuntu Mono. The latter probably makes sense at this point.
« Back to merge proposal
I said we couldn't switch to a proportional font, not that we couldn't switch away from Ubuntu Mono. The latter probably makes sense at this point.