How change width line numbers

Asked by Anatoly on 2013-06-13

How change min width of line number field? I search into source but no find anything.

For example this great in mcedit (more space for line number): http://clip2net.com/s/5e35kY
In PhpStorm we have right space for more info & space to begin code: http://clip2net.com/s/5e35mP
SublimeText have more space and center text: http://clip2net.com/s/5e35oH
I think Scratch need more space for good usability, min: http://clip2net.com/s/5e35qg but may be and more

Thanks.

Question information

Language:
English Edit question
Status:
Answered
For:
Scratch Edit question
Assignee:
No assignee Edit question
Last query:
2013-06-13
Last reply:
2013-06-17
Mario Guerriero (mefrio-g) said : #1

it depends on gtksourceview. I should fork it to have a custom width for line numbers.

Can you help with this problem?

Provide an answer of your own, or ask Anatoly for more information if necessary.

To post a message you must log in.