Use actual font metrics to compute font height as it gives better results than...

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)