On Tue, 2012-02-07 at 12:29 +0100, Carlos Garcia Campos wrote: [...] > That use case is typically implemented changing the font size, instead > of scaling the text.
Ok then. I knew I was missing something... :) Mario _______________________________________________ webkit-gtk mailing list [email protected] http://lists.webkit.org/mailman/listinfo.cgi/webkit-gtk
