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

Asked by Mario César Señoranis

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:
Last query:
Last reply:
Revision history for this message
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.

Revision history for this message
Mario César Señoranis (mariocesar) said :
#2

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

Revision history for this message
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.

Revision history for this message
Mario César Señoranis (mariocesar) said :
#4

 Thanks ~mystilleef! that works for me.

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

Revision history for this message
Mystilleef (mystilleef) said :
#5

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