web-dev-qa-db-ja.com

gnomeでフォントサイズを変更する方法-シェルパネル

gnome-Shell --replaceコマンドを使用して、Ubuntuでgnome-Shellを試しました。うまく機能しますが、シェルパネルのフォントサイズが大きすぎると思います。

Gnome-Shellパネルでフォントサイズをカスタマイズすることは可能ですか?

11
bugbug

それに応じて/usr/share/gnome-Shell/theme/gnome-Shell.cssを変更してください。たとえば、パネルのフォントを変更する場合は、font-family: "FontName".panel-buttonに追加できます。また、ダッシュボードなどのフォントをさらにカスタマイズできます。

Gnome-Shellのカスタマイズに関する私のブログ投稿をチェックアウトできます: http://joneslee85.wordpress.com/2010/02/28/howto-customize-gnome-Shell-theme/

9
user29705

これを見つけました:

cd /usr/share/gnome-Shell/theme
Sudo gedit gnome-Shell.css

私はgnome-Shell.cssファイルの設定のいくつかをいじり、試行錯誤を繰り返し、アプリケーションアイコンの下のテキストのサイズを大きくすることに成功しました。 638行目で、フォントサイズを7.5ptから11.5ptに増やして、読みやすくしました。コード:

.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;
}

また、アイコンのサイズを小さくすることにしました。

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

はい、可能です。私は同じ問題を抱えていました:)

  1. ファイルを編集する必要があります/usr/share/gnome-Shell/js/ui/panel.js
  2. 行を検索const DEFAULT_FONTそしてフォントサイズ(または名前)を変更します。
  3. この後、gnome-Shellを再起動する必要があります:を押します Alt+F2、タイプ r、を押します Enter

ところで:uiディレクトリにあるJavaScriptファイルを編集することで、ほとんどすべてをカスタマイズできます。

2
vipek

/usr/share/gnome-Shell/theme/gnome-Shell.cssの編集を推奨する投稿は正しいです。ただし、別のgnome-Shellテーマを使用している場合(Linux Mintを実行している場合など)、追加の編集可能なファイルが存在する可能性があることに注意してください。

たとえば、Mint12の「Mint-Z」テーマには、/usr/share/themes/Mint-Zに構成可能な.cssファイルがあります。

さらに、gnome-Shell拡張には、/usr/share/gnome-Shell/extensions/{extension id}/または$HOME/.local/share/gnome-Shell/extensions/{extension id}/にある独自の構成可能な.cssファイルがある場合があります。これらの設定がテーマのデフォルトを上書きできるかどうかはわかりませんが。

編集:@Guilhermeは実際にあなたの質問に答えます。

参考までに私のシステム(gnome-Shell 3.2.1-0ubuntu1)では、適切なcssセレクターは/usr/share/gnome-Shell/theme/gnome-Shell.cssの720行目にあり、7.5ptに設定されています。ただし、Mint12システムの実際の設定は/usr/share/themes/Mint-Z/gnome-Shell.css、@ line 880にあり、8ptに設定されています。この値を変更してから、ALT+F2プロンプトで「rt」コマンドを使用してテーマを再ロードします。

1
mikewaters