Ubuntu 18.04: Reduzieren der Titelleistenhöhe

2019-06-08 von Mario

Früher waren die Titelleisten für Fenster viel dünner als unter Ubuntu 18.04. Abhilfe schafft folgende Anleitung:

1. Datei anlegen

Unter dem folgenden Pfad die Datei “gtk.css” erstellen:

1
~/.config/gtk-3.0/gtk.css

2. Inhalt einfügen

Den folgenden Inhalt in die Datei einfügen:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
.header-bar.default-decoration {
  padding-top: 3px;
  padding-bottom: 3px;
  font-size: 0.8em;
}
.header-bar.default-decoration .button.titlebutton {
  padding: 0px;
}
window.ssd headerbar.titlebar {
  padding-top: 4px;
  padding-bottom: 4px;
  min-height: 0;
}
window.ssd headerbar.titlebar button.titlebutton {
  padding: 0px;
  min-height: 0;
  min-width: 0;
}

3. Neustart

Das System neu starten.

Kategorie: IT Schlagwörter: , , , , ,