Ubuntu GNOME 16.04 LTS is here!

[Paul Smith]

On Wed, 2016-04-27 at 17:50 -0500, Ty wrote:
> Alright. I'll just find another extension to use for now. I really
> dislike the big, bulky Gnome titlebars.
I haven't tried 16.04 (Gnome 3.18) yet, but this works great for me in
Ubuntu GNOME 15.10 (Gnome 3.16); no extensions needed:
/* The default title bars in Gnome 3 are TOO HUGE!!
 * In pre-3.16 versions of Gnome we used to modify the Metacity theme
 * but that doesn't work in 3.16 for whatever reason.  Found this on:
 * https://bbs.archlinux.org/viewtopic.php?pid=1518845#p1518845
 *
 * Add this file to ~/.config/gtk-3.0/gtk.css
 * Then either log out/in or restart the shell (ALT-F2 r RET)
 */
.header-bar.default-decoration {
    padding-top: 0px;
    padding-bottom: 0px;
    /* Not exactly sure what this does; it's something to do with borders
    border: none;
    background-image: linear-gradient(to bottom,
                                      shade(@theme_bg_color, 1.05),
                                      shade(@theme_bg_color, 0.99));
    box-shadow: inset 0 1px shade(@theme_bg_color, 1.4);
     */
}
.header-bar.default-decoration .button.titlebutton {
    padding-top: 0px;
    padding-bottom: 0px;
}
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.ubuntu.com/archives/ubuntu-gnome/attachments/20160427/58a96267/attachment.html>