GNOME Shellのトップバーのフォントサイズを変更する方法

GNOME Tweak Toolではトップバーのフォントサイズは変更できない

GNOME Tweak Toolの設定項目「フォント」でフォントサイズを変えても、GNOME Shellのトップバーのフォントは変わりません。

Ubuntu GNOME Shell フォントサイズ 変更

GNOME Tweak Toolので設定したフォントサイズは、ファイルマネージャや端末など、アプリケーションのウィンドウのみに適用されます。

GNOME Shellのトップバーのフォントサイズを変更するには、現在適用しているGNOME Shellテーマのcssファイルを直接編集する必要があります。

gnome-shell.cssファイルを編集してフォントサイズを変更する

トップバーのフォントサイズを変更するには、まず、現在適用しているGNOME Shellテーマのcssファイルをテキストエディタで開きます。

例えば、適用しているのがVimixDark-Rubyテーマなら、以下のコマンドを実行します。

$ sudo gedit /usr/share/themes/VimixDark-Ruby/gnome-shell/gnome-shell.css

GNOME Shellのフォントは、stage要素に定義されています。

stage {
  font-family: "M+ 1c", Roboto, Cantarell, Sans-Serif;
  font-size: 10.5pt;
  font-weight: 400;
  color: rgba(0, 0, 0, 0.8);
}

「font-size」プロパティの値を好みに変更したら、gnome-shell.cssファイルを上書き保存しましょう。

GNOME Tweak Toolを起動して、設定項目から「外観」を選びます。

「GNOME Shellテーマ」オプションから、いったん他のテーマを選んで、もう一度元のテーマを選べば、トップバーのフォントサイズが変更されます。

なお、United GNOMEでも同じ方法を試してみましたが、フォントサイズの変更ができませんでした。どうやらテーマ側に問題があるようです。

Ubuntuアプリのいいところ 関連コンテンツ

0件のコメント

コメントの投稿

投稿フォーム
投稿した内容は管理者にだけ閲覧出来ます

Copyright © 2009-2017 Ubuntuアプリのいいところ. All Rights Reserved.

スポンサードリンク

Ubuntuアプリ最新記事

System76のPop!_OSで採用されるテーマとアイコン Jul 21, 2017

ShutdownTimer - シャットダウンタイマーをGNOMEのシステムメニューに追加する拡張機能 Jul 18, 2017

Web Search Dialog - Gnome Shellから直接Google検索ができる拡張機能 Jul 14, 2017

Cascade Windows - 開いているウィンドウをカスケード表示するGNOME拡張機能 Jul 11, 2017

Bucklespring - ノスタルジックなキーボードサウンドを有効にするコマンドラインツール Jul 07, 2017

Nautilus Hide - ファイル名を変更せずにファイルを隠すための拡張機能 Jul 04, 2017

System Monitor - コンパクトで軽量なGNOMEシステムモニタの代替アプリ Jun 30, 2017

Trash - GNOMEのトップバーにゴミ箱を追加する拡張機能 Jun 27, 2017

ブログ Ubuntuアプリのいいところについて

Ubuntuのインストールやシステム設定、シンプルで直感的に操作できるUbuntuアプリ、美しいテーマや壁紙などを、わかりやすいように紹介していきます。

ご連絡はこちらまでどうぞ
sg.inagaki@gmail.com

RSS Feed