Skip to content

update to Unifont 9 (for Unicode 9 charwidths)#75

Merged
stevengj merged 1 commit intomasterfrom
unifont-9
Jul 12, 2016
Merged

update to Unifont 9 (for Unicode 9 charwidths)#75
stevengj merged 1 commit intomasterfrom
unifont-9

Conversation

@stevengj
Copy link
Member

Since we bumped to Unicode 9 (in #70), we should also update to the latest version of GNU Unifont when computing character widths.

This is needed to tag a new release (#72).

@stevengj
Copy link
Member Author

@jiahao, what's going on with AppVeyor?

@stevengj stevengj closed this Jul 12, 2016
@stevengj stevengj reopened this Jul 12, 2016
@stevengj
Copy link
Member Author

Okay, seems like AppVeyor problems were just a temporary glitch on their side; I saw the same failure on multiple projects.

@tkelman
Copy link
Contributor

tkelman commented Jul 12, 2016

doesn't unicode 9 address the char width issue we needed this unifont stuff to address?

@Keno
Copy link
Member

Keno commented Jul 12, 2016

Most of it.

@stevengj stevengj merged commit c02ebd5 into master Jul 12, 2016
@stevengj stevengj deleted the unifont-9 branch July 12, 2016 20:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants