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)