Ubuntu 18.04 で Dash to Panel のプレビューのサイズを小さくする
※2018年12月30日、以下の内容は古くなっているので注意。最新版はオプションからプレビューサイズを変更可能。
GNOME 3(GNOME Shell)の拡張機能のDash to Panelには、Windows 10のような起動しているアプリケーションのウィンドウのプレビューを表示する機能があるのだが、
表示されるサイズがちょっと大きめなので小さくしてみた。
端末を起動して、
sudo sed -i s/"DEFAULT_THUMBNAIL_WIDTH = 350"/"DEFAULT_THUMBNAIL_WIDTH = 150"/g /usr/share/gnome-shell/extensions/dash-to-panel@jderose9.github.com/windowPreview.js sudo sed -i s/"DEFAULT_THUMBNAIL_HEIGHT = 200"/"DEFAULT_THUMBNAIL_HEIGHT = 100"/g /usr/share/gnome-shell/extensions/dash-to-panel@jderose9.github.com/windowPreview.js
と実行した後、Alt + F2キーを押しrとだけ入力してEnterキーを押すとGNOME Shellが再起動されて設定が反映され、
こんな感じにサムネイルのサイズが小さくなる。
元に戻す場合は、
sudo sed -i s/"DEFAULT_THUMBNAIL_WIDTH = 150"/"DEFAULT_THUMBNAIL_WIDTH = 350"/g /usr/share/gnome-shell/extensions/dash-to-panel@jderose9.github.com/windowPreview.js sudo sed -i s/"DEFAULT_THUMBNAIL_HEIGHT = 100"/"DEFAULT_THUMBNAIL_HEIGHT = 200"/g /usr/share/gnome-shell/extensions/dash-to-panel@jderose9.github.com/windowPreview.js
と実行すればOK。
ちなみにこれらのコマンドはSickly LifeのppaからDash to Panelをインストールしていないと実行できない(ファイルのパスを変更すればいいだけの話だけど)。