On Jan 23, 2011, at 10:25 AM, bill lam wrote: > gedit on gnome also use gtksourceview, is it also capable of changing > interline spacing?
>From a brief encounter with the OSX version, it doesn't appear to. Gedit >suffers from exactly the same problem that jgtk701 does with DejaVu Sans Mono >(and the other fonts I chose), and appears to promote the use of Monaco 12, >which it handles pretty well. Here's a screen shot of jgtk701, gedit, TextMate and Xcode all set to Monaco 12: <http://vze26m98.net/j-lang/monaco.png> Only Gvim seems to offer an accessible setting for interline spacing/leading, and Xcode offers wider spacing than GTK, but not as wide as TextMate. Best, Charles ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
