タグ付けされた質問 「top-bar」

Gnome 3.28 Ubuntu 18.04でトップバーを非表示にするにはどうすればよいですか？ hide-top-bar拡張機能はどのようにインストールできますか？

35 gnome-shell  gnome-shell-extension  gnome-tweak-tool  top-bar 

Gnome 3で上部パネルを下部に移動する方法はありますか？ウィンドウを閉じたいときに閉じるボタンを狙わなければならないため、このパネルを上部に配置するのは非常に面倒です。パネルが最下部にあるとき、マウスポインタを隅に投げるだけです。大きなユーザビリティの問題。

29 panel  gnome-shell  top-bar 

16.04から18.04への更新以降、ノートブックのプライマリ画面にのみ日付と時刻のトップバーが表示されます。他の画面では、上部のバーは表示されません。 別の厄介なことは、私は実際の曜日と時刻だけを見ていることです。クリックせずに、日付全体を時間とともに表示したい... 私はグーグルで検索しましたが、解決策が見つかりませんでした...

15 18.04  ubuntu-gnome  date  top-bar 

時間インジケータは、上部バーの中央に表示さ"%a %H:%M"れます。 所属する場所に移動して、完全な日付と時刻（"%Y-%m-%d %s %H:%M"）を含めるにはどうすればよいですか？

15 gnome-shell  date  top-bar 

Ubuntu GNOME 17.04を使用しています。GNOMEトップバーのフォントをAdaptaのデフォルトフォントからFira Sansに変更したい。私はすでにすべてのフォントを持っています。トップバーのフォントを変更して、他のすべてのフォントと比較して見た目がずれないようにします。

12 themes  fonts  gnome-shell  top-bar