0

Linux Mint の 12 個のグラフィックをパーソナライズしようとしています (ここではhttp://www.muktware.com/articles/3020のようになります)。画面下部のパネルを無効にし、上部パネルのフォントを変更しました。上部パネルのアイコンのサイズ/パディングを変更するには? で変更PANEL_ICON_SIZEする/usr/share/gnome-shell/js/ui/panel.jsと、システムがフリーズし、上部パネルが消えます。

ありがとう。

4

1 に答える 1

1

これが私のために働いたものです：

/usr/share/themes/<themename>/gnome-shell/gnome-shell.cssテキストエディタで開く

.panel-button エントリを探し、必要に応じて-natural-hpaddingおよび/または-minimum-hpadding値を変更します。

于 2012-05-31T14:52:18.253 に答える