How can I set the line height of the source widget?

Asked by Mario César Señoranis on 2011-05-10

I am using scribes on ubuntu 11.04, I am notice that the line height is for more higher.

Here is a comparison →

How can I set the line height? it's possible?

Question information

English Edit question
Scribes Edit question
No assignee Edit question
Solved by:
Mario César Señoranis
Last query:
Last reply:
Hugo Lopes (hdlopes) said : #1

I too have noticed this. Scribes has a two pixel padding both above and below each line compared to gedit.

Screenshot here:

Scribes is on the left after searching for a string, gedit on the right after searching for the same string. In Scribes when we select text the selection covers the extra pixel padding, but not when the text is searched for.

I can believe this is related to some plugin that is adding the highlight, or being prepared to highlight the text.

So, it's possible to disable the extensions? I don't see any setting for doing that

Mystilleef (mystilleef) said : #3

The file you need to modify is this.


Comment out lines 32 to 34 like so.


Then restart Scribes.

 Thanks ~mystilleef! that works for me.

However I am curious, why are Scribes adding this padding?

Mystilleef (mystilleef) said : #5

Line spacing aids readability. It's basic usability/readability rules.