2017-06-28から1日間の記事一覧

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

※2018年12月30日、以下の内容は古くなっているので注意。最新版はオプションからプレビューサイズを変更可能。GNOME 3(GNOME Shell)の拡張機能のDash to Panelには、Windows 10のような起動しているアプリケーションのウィンドウのプレビューを表示する機能…