4129 links
740 private links
  • Doo's links
  • Home
  • Login
  • RSS Feed
  • ATOM Feed
  • Tag cloud
  • Picture wall
  • Daily
  • ► Jouer les vidéos
Links per page: 20 50 100
  • thumbnail
    gnome3 - How to change the titlebar height in standard GTK apps and those with headerbars/CSDs on Gnome 3.20 - Unix & Linux Stack Exchange
    create a file ~/.config/gtk-3.0/gtk.css ( add the below CSS )
    then you will need to reload gnome-shell: ALT + F2 and type r
    I was able to reduce the app Titlebar on Gnome 3.20 with the following CSS:
    
    headerbar entry,
    headerbar spinbutton,
    headerbar button,
    headerbar separator {
        margin-top: 0px; /* same as headerbar side padding for nicer proportions */
        margin-bottom: 0px;
    }
    
    headerbar {
        min-height: 24px;
        padding-left: 2px; /* same as childrens vertical margins for nicer proportions */
        padding-right: 2px;
        margin: 0px; /* same as headerbar side padding for nicer proportions */
        padding: 0px;
      }
    
    October 18, 2016 03:29:14 PM GMT+02:00 * - permalink -
    QRCode
    - https://unix.stackexchange.com/questions/276951/how-to-change-the-titlebar-height-in-standard-gtk-apps-and-those-with-headerbars
    gnome gnome-shell
Links per page: 20 50 100
Shaarli - The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community - Help/documentation