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 upadd option for font-size #48
Conversation
jonaldomo
added some commits
Mar 11, 2014
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
Show comment
Hide comment
|
Cherry-picked! Thanks for this... It was a much requested feature. |
tsenart
closed this
Mar 13, 2014
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
jonaldomo commentedMar 11, 2014
add option for font-size
allows user to choose from the available options: xx-small, x-small, small, medium, large, x-large, xx-large. defaults to medium which matches the current fault. screenshot attached. as requested in #32.