Ubuntu 18.04 で Dash to Panel のプレビューのサイズを小さくする

Ubuntu Linux用ソフト GNOME-Shell

※2018年12月30日、以下の内容は古くなっているので注意。最新版はオプションからプレビューサイズを変更可能。

GNOME 3(GNOME Shell)の拡張機能のDash to Panelには、Windows 10のような起動しているアプリケーションのウィンドウのプレビューを表示する機能があるのだが、

f:id:sicklylife:20170709174542j:plain

表示されるサイズがちょっと大きめなので小さくしてみた。
端末を起動して、

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が再起動されて設定が反映され、

f:id:sicklylife:20170709174601j:plain

こんな感じにサムネイルのサイズが小さくなる。
元に戻す場合は、

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をインストールしていないと実行できない（ファイルのパスを変更すればいいだけの話だけど）。