ubuntuusers.de

Hallo, ich würde gerne die Fensterelemte auf dem Desktop vergrößern, zum Beispiel das Kreuz oben rechts und die anderen daneben liegenden Buttons. Dafür habe ich früher mal ein Tool verwendet, weiß aber nicht mehr welches. Damit konnte man relativ viel verändern, Fensterränder, Buttons etc. Hat jemand einen Tipp für mnich? Besten Dank Ralf

Einige Dinge kann man mit Gnome-Tweaks einstellen. Mehr geht über dconf. Gnome-Shell-Extensions könnten auch noch helfen.

An die Fensterlemente scheine ich damit nicht ranzukommen ...

Ich vermute du bist sehr weit entfernt von deinem Screen ????

ralf.trautmann schrieb:

An die Fensterlemente scheine ich damit nicht ranzukommen ...

Das funktioniert bei GTK 3/4 mittlerweile über CSS - am besten du nimmst den GTK inspector, um damit zu experimentieren.

Also das Paket dconf-editor installieren und starten, dann unter /org/gtk/Settings/Debug den Schalter für enable-inspector-keybinding anmachen. Danach solltest du für ein GTK-Programm mittels Strg + ⇧ + I oder Strg + ⇧ + D den GTK Inspector öffnen können.

Um die CSS-Attribute für ein Element zu sehen, wählst du das Fadenkreuz Werkzeug links oben in der Titelleiste und klickst auf das Element des Fensters, das du ändern willst und wählst im Drop-Down Menü darunter CSS-Knoten aus (ggf. noch auf das i-Symbol klicken, um zwischen CSS-Klassen und CSS-Attributen zu wechseln).

Jetzt kannst du in den Reiter CSS wechseln und dort mit den CSS-Attributen für herumspielen, bis du zufrieden bist - also z.B. wenn man eine größer Schrift im Titel haben will und die Knöpfe größer sein sollen (frag mich nicht, wie man die Symbole der Buttons größer bekommt, da scheint mehr reinzuspielen als der Inspektor anzeigt - und ich hatte keine Lust in das CSS-Theme und den Quelltext zu schauen):

 1
 2
 3
 4
 5
 6
 7
 8
 9
10

headerbar {
    font-size: 20pt; /* enlarge the font size of the window title */
}

.titlebutton {
  min-width: 48px;
  min-height: 48px;
  padding: 0;
  margin: 0;
}

Um das dann zu übernehmen, kannst du eine ~/.config/gtk-3.0/gtk.css anlegen und dort die CSS-Regeln hinterlegen. Nach dem Ab- und wieder Anmelden sollten die Änderungen übernommen werden.