Just a quick question about this topic. Which is the attribute equivalent to "<small>"? I'm migrating gnome-terminal and I need to change this value.
Many thanks! 2012/5/21 Matthias Clasen <[email protected]> > On Sun, May 20, 2012 at 1:25 PM, Piotr Drąg <[email protected]> wrote: > > > Since my last email I have found examples of font size attributes, > > like this one: > > > > <attributes> > > <attribute name="size" value="10000"/> > > </attributes> > > > > But value is different in almost every case, so I don't know how > > reliable this is. > > <big> is equivalent to scale=1.2 > _______________________________________________ > gnome-i18n mailing list > [email protected] > http://mail.gnome.org/mailman/listinfo/gnome-i18n >
_______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
