[gedit-list] Re: [Usability] Page Setup dialog for gedit

["Liam R. E. Quin" <liam holoweb net>]

> On Sat, 7 Jun 2003, Paolo Maggi wrote:
> 
> > http://www.gnome.org/~paolo/screenshots/page-setup-general.png
> > http://www.gnome.org/~paolo/screenshots/page-setup-fonts.png
> >
> > What do you think about it?

In general if you can choose a font size you also need to be able to
choose line spacing.  Fonts are not designed to be used without any
extra inter-linear spacing, and doing so degrades readability,
lowers comprehension and adds eye strain.

I don't know if the best answer is to add line spacing to the font
chooser, or to the gedit dlog.

A good default is to use 1.2 times the nominal font size (e.g. this
gives 10 on 12pt).

Liam

-- 
Liam Quin - XML Activity Lead, W3C, http://www.w3.org/People/Quin/
Ankh: irc.sorcery.net www.valinor.sorcery.net irc.gnome.org www.advogato.org
Author, Open Source XML Database Toolkit, Wiley August 2000
Co-author: The XML Specification Guide, Wiley 1999; Mastering XML, Sybex 2001