On Jan 23, 2011, at 10:25 AM, bill lam wrote: > jgtk uses gtksourceview instead of directly paints on a canvas. If > interline spacing can be done, it would be via gtktextview/gtksourceview > api. gedit on gnome also use gtksourceview, is it also capable of changing > interline spacing?
If that's the case, then maybe: gtk_text_view_set_pixels_above_lines () gtk_text_view_set_pixels_below_lines () in gtktextview would do the trick? <http://library.gnome.org/devel/gtk/unstable/GtkTextView.html#gtk-text-view-set-pixels-above-lines> I'd say that BELOW is what you'd want to do as the ascenders seem to fare better than descenders: <http://vze26m98.net/j-lang/ascenders-descenders.png> It doesn't look like gtksourceview has anything to say about text properties other than those necessary for rendering code. HTH, Charles ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
