web-dev-qa-db-ja.com

Gnome Classicパネルのランチャーとアプレットの間隔を広げる

Gnome ClassicでUbuntu 12.04.1を使用しています。トップパネルにいくつかのランチャーを追加しましたが、それらは非常にきつく配置されています（セパレーターも見てください。実際には何も分離されていません）。

My Gnome Panel image

ランチャー間の間隔を広げることはできますか？

知る限り、これは〜/ .config/gtk-3.0/gtk.cssを編集することで実行できます。この方法で、パネルの太字フォント設定を切り替えることができました。しかし、ランチャーとアプレットの間隔に影響を与えるパラメーターは見つかりませんでした。

また、アイコンのサイズは私には大きすぎるようです-それらはパネルの上部から下部まで、境界なしですべての場所を占有します。私が10.04を使用していたとき、それらは小さかった。サイズを小さくする方法はありますか？

customizationgnome-panelgnome-classic
6
whtyger

ようやくスペースの問題を解決し、ソリューションを共有する準備が整いました。 ~/.config/gtk-3.0/gtk.css次の行に追加します。

.gnome-panel-menu-bar.menubar .menuitem,
PanelWidget .button {
    padding: 0px 4px;
}

1行目はメニューヘッダー（アプリケーションと場所）の間隔に影響し、2行目はランチャーの間隔に影響します。結果は次のとおりです。

Fixed panel

2番目のパディングパラメーターを変更して間隔をさらに増やすことができます（6ピクセルは右上隅のインジケーターアプレットアイコンの間隔でも同じになります）が、4ピクセルにはかなり満足しています。パディングを増やすと、パネルウィジェットであるため、下部パネルのタスクボタンも広くなることに注意してください。または、メニューヘッダーとランチャーの間隔を個別に設定できます-それはあなた次第です。

.gnome-panel-menu-bar.menubar .menuitem {
    padding: 0px 4px;
}

PanelWidget .button {
    padding: 0px 3px;
}

更新：パネルセパレータのパディングを増やす方法がようやく見つかりました。 ~/.config/gtk-3.0/gtk.cssにさらにいくつかの行を追加します。

PanelSeparator {
    padding: 4px 8px;
}

最初のパディングパラメーターはセパレーターの長さを短くし、2番目のパディングパラメーターはセパレーターの両側に間隔を空けます。最終結果は次のとおりです。

Fixed panel

5
whtyger