Verringern Sie die Höhe der Tabstopps in gnome Terminal

Question

Ich habe kürzlich installiert Lubuntu 16.04 mit Gnome-Terminal. Ich mag Gnome-Terminal, um weniger Platz auf dem Monitor zu verbrauchen. Aber die neueste Version kommt mit zwei lästigen Tasten in der rechten oberen Ecke, die für mich keinen Sinn ergeben. Weil Benutzer, die Terminals bevorzugen, eher Tastaturkürzel verwenden, um Registerkartenoperationen auszuführen, anstatt Mausklicks zu verwenden. Mit diesen beiden zusätzlichen Buttons wurde die Tableiste breiter und benötigt mehr Platz auf dem Monitor. Click here for Screenshot . Bitte helfen Sie mir, diese zusätzlichen zwei Tasten aus dem Gnome-Terminal-Fenster zu entfernen.

Vielen Dank im Voraus

Madhusudhan

Answer 1

dies zu ~/.config/gtk-3.0/gtk.css Arbeiten für das Hinzufügen von mir. Es entfernt die Schaltflächen nicht, aber macht sie schöner für ein dunkles Thema und benötigt weniger vertikalen Platz.

TerminalWindow .notebook .button, 
TerminalWindow .notebook .button:active { 
    padding: 2 2 2 10; 
    background-image: none; 
    border: 0; 
} 

ich diese Anpassung bin mit, mit einem dunklen Thema funktioniert gut:

@define-color bg-grey #222; 
@define-color active-grey #333; 
@define-color border-grey #555; 

TerminalWindow .notebook { 
    border: 0; 
    padding: 0; 
    color: #eee; 
    background-color: shade(@active-grey, 1); 
} 

TerminalWindow .notebook tab:active { 
    border: 1px solid @border-grey; 
    background-color: shade(@active-grey, 1); 
} 

TerminalWindow .notebook tab { 
    background-color: shade(@bg-grey, 1); 
} 

TerminalWindow .notebook .button, 
TerminalWindow .notebook .button:active { 
    padding: 2 2 2 10; 
    background-image: none; 
    border: 0; 
} 

Answer 2

Als ich Gnome Shell 3.22.2 leite (gleich wie izy), die Schiffe mit gnome-terminal 3,22. 1 (unter Arch) funktioniert die Lösung von Lari Hotari nicht für mich. Es stellt sich heraus, dass der CSS-Klassenname in bug report #765590 geändert wurde. Der Name ist jetzt Terminal-Fenster anstelle von TerminalWindow. Dies wurde mit Gnome seit 3.20.2-ish versandt.

Das folgende Snippet für ~/.config/gtk-3.0/gtk.css reduziert die vertikale Größe von Gnome-Terminal um 10px für mich. Beachten Sie, dass ich versucht habe, die beiden Tasten durch das Einstellen der Anzeige auszublenden: Keine, aber dies hat keine Auswirkungen. Vielleicht gtk-3.0 erlaubt nicht das Verstecken von Elementen (keine Ahnung).

/* Decrease the tabs bar height in gnome-terminal 
 
* See: 
 
* https://stackoverflow.com/questions/36869701/decrease-the-tabs-bar-height-in-gnome-terminal 
 
*/ 
 

 
terminal-window notebook > header.top button { 
 
    padding: 0 0 0 0; 
 
    background-image: none; 
 
    border: 0; 
 
} 
 
terminal-window notebook > header.top > tabs > tab { 
 
    margin: 0 0 0 0; 
 
    padding: 0 0 0 0; 
 
} 
 
terminal-window notebook > header.top > tabs > tab label { 
 
    padding: 0 0 0 0; 
 
    margin: 0 0 0 0; 
 
}

Stellen Sie sicher, aus gnome-session abzumelden/anmelden, nachdem die CSS-Datei ändern.

Vorher:

Nach:

Update: tatsächlich die beiden Tasten aus der Registerkarten Menüleiste in der oberen rechten Ecke zu entfernen (wie vom OP angefordert) erfordern, dass Sie neu kompilieren Gnome-Terminal (es ist nicht so schwierig mit Apt-Quelle unter Ubuntu). Entfernen Sie einfach den Terminal_window_fill_notebook_action_box Anruf in Zeile 2792 in src/terminal-window.c: https://github.com/GNOME/gnome-terminal/blob/8975986d51639040ceb6ba1c0dc78f6a3fa9da45/src/terminal-window.c#L2792