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

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