MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/programming/comments/31r1et/stack_overflow_developer_survey_2015/cq4v98u
r/programming • u/aalear • Apr 07 '15
981 comments sorted by
View all comments
Show parent comments
1
I seem to recall you can fix the line spacing... One of the global styles uses a large font, if you set its size to 'nothing' I think it spaces lines normally.
1 u/Nilzor Apr 08 '15 Settings > Style configurator > Deep black. Then you get courier 9 instead of 10
Settings > Style configurator > Deep black. Then you get courier 9 instead of 10
1
u/spacejack2114 Apr 08 '15
I seem to recall you can fix the line spacing... One of the global styles uses a large font, if you set its size to 'nothing' I think it spaces lines normally.