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

Desktop: Clean up theme.js font settings #1601

merged 1 commit into from Jun 5, 2019


None yet
3 participants
Copy link

commented May 28, 2019

#1594 @dincsi mentioned an issue with how font size is set in theme.js. This pull makes the code a bit better and adds a comment to explain the theme.js font behavior.

@tessus tessus added the desktop label May 28, 2019


This comment has been minimized.

Copy link

commented Jun 5, 2019

Looks good, thanks @CalebJohn!

@laurent22 laurent22 merged commit d012c68 into laurent22:master Jun 5, 2019

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.