Unity Launcherで「緊急アニメーション」の揺れ動く時間を変更するにはどうすればよいですか？

アプリケーション通知のウィグルアニメーションは本当に好きですが、すぐに消えてしまうので、この遅延を変更したいと思います。すべてのccsm、外観、およびmyUnity設定を調べましたが、適切なものは何もありません。

これはUnityで構成可能なオプションではないと思いますが、ソースコードを編集して期間を変更できます。ソースをダウンロードしておらず、独自のパッケージをコンパイルしたことがない場合は、次のようにして行うことができます。ターミナルウィンドウのホームディレクトリから：

mkdir src
cd src
apt-get source unity
cd unity-<version number>
gedit ./plugins/unityshell/src/Launcher.cpp

次のような行を探します。

Launcher.cpp:const int Launcher::Launcher::ANIM_DURATION_SHORT = 125;

たぶん期間が倍増します。いくつかのツールが必要になる前に、ソースからパッケージをビルドしたことがない場合。そうする：

sudo apt-get install build-essential devscripts

次に、Unityが適切にビルドするために必要な依存関係を取得します。

sudo apt-get build-dep unity

最後にパッケージを作成してインストールします。

debuild -us -uc
cd ..
sudo dpkg -i unity*.deb

依存関係に問題がある場合はお知らせください。不足しているものを特定するお手伝いをします。