New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow non-monospaced font to be used #525

Closed
Vdragon opened this Issue Nov 23, 2015 · 0 comments

Comments

Projects
None yet
1 participant
@Vdragon
Contributor

Vdragon commented Nov 23, 2015

There's are some fonts that are preferable than mono-spaced fonts(for example, fonts with CJK glyphs) and some of which even is suitable to be used as mono-spaced font can't be declared as one, the mono-space filter needs to be taken off in order to choose them.

Workaround

Specify it directly in gitconfig, it works.

@davvid davvid closed this in 2912883 Nov 24, 2015

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment