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.

Sign up for GitHub

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

Jump to bottom

Font size customization #127

Open
jyotishp opened this issue Jun 6, 2016 · 1 comment
Open

Font size customization #127

jyotishp opened this issue Jun 6, 2016 · 1 comment

Comments

@jyotishp
Copy link

jyotishp commented Jun 6, 2016

First of all, GREAT work. I really like it. It seems like there is a small customization problem. I use a custom font (lucida grande) as default font on Ubuntu 16.04 (pantheon environment). The lower part of some letters is going below the bottom margin of the text box. I feel the letters are too big. Is there a way to decrease the font size?
screenshot from 2016-06-06 23 29 20
@mgolisch
Copy link
Contributor

mgolisch commented Jun 7, 2016

I dont think it is possible without editing the source code

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mgolisch @jyotishp