Use actual font metrics to compute font height as it gives better results than layout extents, lighten icons of iconified windows in tabwin selector. (Old svn revision: 27001)