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 → http://twitpic.com/4vvwem

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

Question information

Language:
English Edit question
Status:
Solved
For:
Scribes Edit question
Assignee:
No assignee Edit question
Solved by:
Mario César Señoranis
Solved:
2011-05-10
Last query:
2011-05-10
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: http://dl.dropbox.com/u/1409819/scribes_line_height.png

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.

/usr/lib/python2.7/site-packages/SCRIBES/GUI/MainGUI/View/View.py

Comment out lines 32 to 34 like so.

  #self.__view.set_pixels_above_lines(2)
  #self.__view.set_pixels_below_lines(2)
  #self.__view.set_pixels_inside_wrap(2)

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.