How can I change the size (and format?) of the line numbers? I can't quite work out where the setting for it is. I am on Ubuntu 12.04, 12.10, and Windows 7. TXS 2.6.6.
Ah crap, sorry wrong place for this. Can it be moved to Discussion?
Anonymous
You seem to have CSS turned off. Please don't fill out this field.
There are no settings for the size or format of the line numbers. The font is the same as the one for the editor.
Ah crap, sorry wrong place for this.
Can it be moved to Discussion?
Last edit: Ben H 2014-02-15
There are no settings for the size or format of the line numbers. The font is the same as the one for the editor.