Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
osc: font scaling option for timecodes and titlebar #3952
... with a downscaled non-mono font.
Anyway, wasting some space is an inherent problem with that layout since we can't know text width, but I don't think that warrants another option. Also some extra space makes stuff less cluttered.
I'd be fine with increasing the width a bit to fit DejaVu Sans Mono, and also having an option in case someone wants a particularly wide font.
I've been using