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 <matthias.cla...@gmail.com> > On Sun, May 20, 2012 at 1:25 PM, Piotr Drąg <piotrd...@gmail.com> 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 > gnome-i18n@gnome.org > http://mail.gnome.org/mailman/listinfo/gnome-i18n >
_______________________________________________ gnome-i18n mailing list gnome-i18n@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-i18n
