Re: [GNOME3] Gain vertical space
- From: Jérôme Prudent <jprudent gmail com>
- To: Frederic Muller <fredm gnome org>
- Cc: gnome-list gnome org
- Subject: Re: [GNOME3] Gain vertical space
- Date: Wed, 4 May 2011 11:06:49 +0700
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)
Thanks.
On Wed, May 4, 2011 at 10:53 AM, Frederic Muller
<fredm gnome org> wrote:
Hi!
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):
http://blog.fpmurphy.com/2011/03/customizing-the-gnome-3-shell.html
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"/>
</frame_geometry>
"
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.
Fred
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?
Thanks.
--
Jérôme Prudent
_______________________________________________
gnome-list mailing list
gnome-list gnome org
http://mail.gnome.org/mailman/listinfo/gnome-list
_______________________________________________
gnome-list mailing list
gnome-list gnome org
http://mail.gnome.org/mailman/listinfo/gnome-list
--
Jérôme Prudent
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]