17/04/30 16:18:23.46 scn72vxP.net
>>716
GNOME Shell extensionsを使う。
URLﾘﾝｸ(extensions.gnome.org)
GNOME Shell extensionsが使えるようになってない場合は、
URLﾘﾝｸ(extensions.gnome.org) で上の方に出てくる
「Click here to install browser extension」 をクリックしてアドオンをインストールしたあと、
「wiki page」を見てパッケージをインストールする。 使ってるディストリが書かれてない場合は俺にはどうすればいいか分からない。
alt-tabで検索すると、alt-tabの動作を変えるextensionがいくつか見つかる。
俺は AlternateTab URLﾘﾝｸ(extensions.gnome.org) を使ってる。
extensionの名前をクリックして出てくる画面でスイッチをON/OFFすることで有効化/無効化できる。
ONにしたときextensionがインストールされてなければインストールの許可を求めてくる。