Re: Gnome shell suggestions after a bit of usage

[Tassilo Horn <tassilo member fsf org>]

Evandro Giovanini <efgiovanini gmail com> writes:

Hi Evandro,

>> I mean, it's true that the title text und the title bar become
>> narrower, but so does the rest of the text (menus, etc.), too.  Isn't
>> there a way to adjust only the title bar text.  I don't see a reason
>> why the text in the title bar needs to be considerably larger than
>> text in the menu bar.
>
> The text size is already the same, the only difference is the title
> bar uses a bold face.

"already" means in GNOME 3.1.x?  I'm still on 3.0.x.

> You can fine tune it with gnome-tweak-tool if you want.

Oh, indeed, that does the trick.

Bye,
Tassilo