So ändern Sie die Schriftgröße im Gnome-Shell-Bereich

Ich habe Gnome-Shell in Ubuntu mit dem gnome-shell --replaceBefehl ausprobiert . Es funktioniert gut, aber ich denke, die Schriftgröße im Shell-Panel ist zu groß.

Ist es möglich, die Schriftgröße im Gnome-Shell-Panel anzupassen?

Bitte ändern Sie das /usr/share/gnome-shell/theme/gnome-shell.cssentsprechend. Zum Beispiel, wenn Sie Panel Schriftart ändern möchten, können Sie hinzufügen , font-family: "FontName"in .panel-button. Außerdem können Sie die Schriftart des Dashboards usw. weiter anpassen.

Sie können meinen Blog-Beitrag zum Anpassen der Gnome-Shell lesen : http://joneslee85.wordpress.com/2010/02/28/howto-customize-gnome-shell-theme/

Ich habe es gefunden:

cd /usr/share/gnome-shell/theme
sudo gedit gnome-shell.css

Ich habe mit einigen Einstellungen in der Datei gnome-shell.css herumgespielt und es durch ein wenig Ausprobieren geschafft, den Text unter den Anwendungssymbolen zu vergrößern. In Zeile 638 habe ich die Schriftgröße von 7,5 auf 11,5 Punkte erhöht, wodurch sie besser lesbar war. Code:

.app-well-app > .overview-icon,
.remove-favorite > .overview-icon,
.search-result-content > .overview-icon {
    border-radius: 4px;
    padding: 3px;
    border: 1px rgba(0,0,0,0);
    font-size: 7.5pt;
    color: white;
    transition-duration: 100;
    text-align: center;
}

Ich habe auch beschlossen, die Größe der Symbole zu verringern.

.icon-grid .overview-icon {
    icon-size: 96px;
}

Ja, es ist möglich. Ich hatte das gleiche Problem :)

1. Sie müssen die Datei bearbeiten /usr/share/gnome-shell/js/ui/panel.js.
2. Suchen Sie eine Zeile const DEFAULT_FONTund ändern Sie die Schriftgröße (oder sogar den Namen).
3. Danach müssen Sie Neustart gnome-shell: Presse Alt+ F2, Typ r, und drücken Sie Enter.

Übrigens: Sie können fast alles anpassen, indem Sie die im uiVerzeichnis befindlichen JavaScript-Dateien bearbeiten .

Die Beiträge, die eine Bearbeitung empfehlen, /usr/share/gnome-shell/theme/gnome-shell.csssind korrekt. Es sollte jedoch beachtet werden, dass bei Verwendung eines alternativen Gnome-Shell-Themas (z. B. unter Linux Mint) möglicherweise zusätzliche bearbeitbare Dateien vorhanden sind.

Das Mint12-Design von Mint12 enthält beispielsweise konfigurierbare CSS-Dateien /usr/share/themes/Mint-Z.

Darüber hinaus verfügen Gnome-Shell-Erweiterungen möglicherweise über eigene konfigurierbare CSS-Dateien, die sich in /usr/share/gnome-shell/extensions/{extension id}/oder befinden $HOME/.local/share/gnome-shell/extensions/{extension id}/. Ich bin mir jedoch nicht sicher, ob diese Einstellungen die Standardeinstellungen des Themas überschreiben können.

EDIT: @Guilherme beantwortet tatsächlich Ihre Frage.

Zu Ihrer Information Auf meinem System ( gnome-shell 3.2.1-0ubuntu1) befindet sich der entsprechende CSS-Selektor in /usr/share/gnome-shell/theme/gnome-shell.cssZeile 720 und ist auf eingestellt 7.5pt. Die tatsächliche Einstellung für mein Mint12-System befindet sich jedoch in /usr/share/themes/Mint-Z/gnome-shell.css@line 880 und ist auf eingestellt 8pt. Ändern Sie diesen Wert und laden Sie Ihr Design mit dem Befehl 'rt' an der ALT+F2Eingabeaufforderung neu.

sudo gedit /usr/share/vte/termcap/xterm

Bearbeiten Sie diese Zeile:

:co#80:it#8:li#24:\

Quelle:

http://ubuntuforums.org/showthread.php?t=15471