Re: gnome goals for 3.6
- From: Daniel Mustieles García <daniel mustieles gmail com>
- To: Matthias Clasen <matthias clasen gmail com>
- Cc: gnome-i18n gnome org, desktop-devel-list gnome org
- Subject: Re: gnome goals for 3.6
- Date: Mon, 17 Dec 2012 10:44:32 +0100
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 clasen gmail com>
On Sun, May 20, 2012 at 1:25 PM, Piotr Drąg <
piotrdrag 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
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]