droundy: > Hi all, > > Here's Andrea's patch together with one of mine to shrink our window titles > so that they can fit in the tabs. I made the shrinker extensible, so users > can configure it to eliminate whatever seems irrelevant in their window > names. > Applied. -- Don