Re: [GNOME3] Gain vertical space

Thanks it helps a lot!

I put 0 for title_vertical_pad and there is no waste of space on this bar:
- the height had been adapted to the font size or the button size (i don't know)
- the button is smaller (same height as the bar)

If I could find where I can change font-size that would be last step. (I tried /usr/share/themes/Adwaita/gtk-3.0/gtk.css but nothing seems to be suitable for my need)


On Wed, May 4, 2011 at 10:53 AM, Frederic Muller <fredm gnome org> wrote:

It's all css and easily changeable. There is a blog post here that goes through some of the customization (which works without installing any extension):

namely this part:

"As stated previously, the default GNOME Shell theme is Adwaita. You can modify this theme by editing /usr/share/themes/Adwaita/metacity-1/metacity-theme-3.xml. One of the more interesting sections of this configuration file is:

<frame_geometry name="normal" title_scale="medium" rounded_top_left="4" rounded_top_right="4">
       <distance name="left_width" value="1" />
       <distance name="right_width" value="1" />
       <distance name="bottom_height" value="2" />
       <distance name="left_titlebar_edge" value="0"/>
       <distance name="right_titlebar_edge" value="0"/>
       <distance name="title_vertical_pad" value="13"/>
       <border name="title_border" left="10" right="10" top="1" bottom="1"/>
       <border name="button_border" left="0" right="0" top="1" bottom="3"/>
       <aspect_ratio name="button" value="1"/>

You'll need to find the another section for the maximized "title_vertical_pad" (maybe it's lower in the article, maybe not).

Hope that helps.


On 05/04/2011 10:56 AM, Jérôme Prudent wrote:
Hi everyone!

With gnome2 I used to have only a single bar on left side of my screen.
Since I spend my time browsing website, this offered me a maximum of
vertical space.

Yesterday I switched on Gnome3 and tried to drag the top bar on left
side but apparently it's fixed. To tell you the truth, I quite like this
top bar (it's thin enough, useful, and elegant). What I do not like is
the windows title. For a vertical space maniac, windows title are too
wide and the close button (that I never use because I prefer Alt+F4) is
too big. I also think that window title have no use now (I gnome 2 I
sometimes used the minimize button but there is no such a button any
more). So, How can I remove this useless window title that occupies my
precious vertical space?


Jérôme Prudent

gnome-list mailing list
gnome-list gnome org

gnome-list mailing list
gnome-list gnome org

Jérôme Prudent

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]