Hide Top Bar - GNOMEのトップバーを自動的に隠す拡張機能

トップバーを自動的に隠してデスクトップをより広く使う

Hide Top Barとは、GNOMEのトップバーを自動的に隠すことができる拡張機能です。

Hide Top Bar Ubuntu GNOME 拡張機能 トップバー 自動的に隠す

Hide Top Bar - GNOME Shell Extensions https://extensions.gnome.org/extension/545/hide-top-bar/

Ubuntu 16.04 (GNOME 3.20) - Hide Top Bar GNOME拡張機能
バージョンインストール方法起動方法
Hide Top BarHide Top Barのページにあるスイッチを「ON」にしてインストールGNOME Tweak Toolの拡張機能から「Hide Top Bar」を有効にする

GNOMEのデスクトップに何かファイルを置いて「F5」キーを押すとわかりますが、一番上にあるアイコンの半分は、トップバーの裏に隠れてしまいます。

トップバーを自動的に隠すことで、その部分も含めてデスクトップをより広く使うことができるのが、Hide Top Bar GNOME拡張機能です。

常態としてトップバーを非常時にして、マウス移動時に表示したり、ウィンドウが重なったときだけ隠すなど、様々なオプションを設定することができます。

トップバーを常態として隠してマウス移動時に表示するオプション

Hide Top Barをインストールして有効にしたら、GNOME Tweak Toolを起動して「拡張機能」からオプションを開きましょう。

Hide Top Bar Ubuntu GNOME 拡張機能 トップバー 自動的に隠す オプション

Hide Top Barのデフォルトでは、常態としてトップバーを表示して、ウィンドウがバーに重なった時に自動的に隠す設定になっています。

常態としてトップバーを隠しておきたい場合は、「Sensitivity」セクションにある「Show panel when mouse approaches edge of the screen」オプションをオンにします。

そして、「Intellihide」セクションにある2つのオプションをオフにすれば、トップバーが自動的に隠れ、マウスを画面上部に近づけたときに表示されるようになります。

マウスだけでなくキーボードでもトップバーを表示したいときは、あわせて「Keyboard shortcuts」セクションの「Key that triggers the bar to be shown」オプションに、キーの組み合わせを設定しておきましょう。

関連記事

0件のコメント

コメントの投稿

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

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

スポンサードリンク

Ubuntuアプリ最新記事

Ubuntu 18.04で使える軽量キーボードランチャー4つ (Ulauncher/Albert/Synapse/Launchy) May 19, 2019

Playbox - 場面ごとに流す楽曲をキューに登録して使う音楽プレイヤー May 11, 2019

Ubuntu 18.04の不要ファイルを削除する3つの代表的なアプリ(Ubuntu Cleaner/BleachBit/GtkOrphan) May 03, 2019

Ubuntu 18.04で重複ファイルを検索して削除する方法(FSlintとfdupes) Apr 20, 2019

Ubuntu 18.04の隠れた自動起動するアプリケーションをすべて表示する方法 Apr 13, 2019

Ubuntu 19.04は新機能にカーネル5.0やGNOME 3.32を搭載してリリース Apr 05, 2019