Tweaking

Posted Mar 16, 2011 16:05 UTC (Wed) by me@jasonclinton.com (subscriber, #52701)
In reply to: Tweaking by C.Gherardi
Parent article: The Grumpy Editor's GNOME 3 experience

> That said 'smaller' and 'small' would be welcome options.

That landed three weeks ago.