Home Download Buy Blog Forum Support

Change font size in gutter - possible?

Change font size in gutter - possible?

Postby Cantello on Fri Mar 30, 2012 12:48 pm

Dear all,

is changing the font used in the gutter for line numbers possible? I'd like to use a smaller font here, just for aesthetic reasons.
Cantello
 
Posts: 6
Joined: Mon Feb 06, 2012 5:18 pm

Return to General Discussion

Who is online

Users browsing this forum: pseudolus, Timber232 and 44 guests