On Fri, Mar 9, 2012 at 15:42, <wagnerdm@seas.upenn.edu> wrote:

Mon Mar  5 22:15:17 IST 2012  crodjer@gmail.com
 * ShowWName: Increase horizontal padding for flash

 Currently the flash window width leaves a very small amount of padding. This
 patch adds some extra horizontal width, governed by text width and length.

This patch seems to add smaller and smaller padding the larger the text inside. Am I reading that right? Is that reasonable?

If the idea is to make sure the window has a reasonable size, it makes sense to pad it larger for smaller internal text because it doesn't need (any/as much) padding if the text already forces it to have a reasonable size.  ("Reasonable" defined as "easily visible") 


--
brandon s allbery                                      allbery.b@gmail.com
wandering unix systems administrator (available)     (412) 475-9364 vm/sms