Skip to content
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

Convert the editor and default theme fonts to WOFF2 format to save space. #59510

Merged
merged 1 commit into from
Mar 25, 2022

Conversation

bruvzg
Copy link
Member

@bruvzg bruvzg commented Mar 25, 2022

Makes an editor executable about 5.2 MB smaller. I was not able to notice any change in loading speed, or any visual differences.

COPYRIGHT.txt Outdated Show resolved Hide resolved
* Upstream: https://github.com/googlefonts/noto-fonts
* Version: v2017-10-24-phase3-second-cleanup
* License: OFL-1.1
* Comment: Use UI font variant if available, because it has tight vertical metrics and
good for UI.
- `JetBrainsMono_Regular.ttf`:
- `JetBrainsMono_Regular.woff2`:
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't know if that makes any significant difference, but JetBrains seem to provide a woff2 version of the font themselves: https://github.com/JetBrains/JetBrainsMono/blob/master/fonts/webfonts/JetBrainsMono-Regular.woff2

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It's probably not, WOFF is just a compressed wrapper, all font structures should stay the same. Their version is 3 KB larger, but it probably depends only on a tool that was used to compress it.

@akien-mga akien-mga merged commit c212156 into godotengine:master Mar 25, 2022
@akien-mga
Copy link
Member

Thanks!

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

Successfully merging this pull request may close these issues.

2 participants