Jak mogę zmienić czas poruszania się „pilnej animacji” w Unity Launcher?

Naprawdę podoba mi się animacja wigli dla powiadomień aplikacji, ale uważam, że znika ona zbyt szybko i chciałbym móc zmienić to opóźnienie. Przejrzałem wszystkie ustawienia ccsm, wyglądu i myUnity i nic nie wydaje się odpowiednie.

Nie sądzę, że jest to konfigurowalna opcja w Unity, ale możesz edytować kod źródłowy, aby zmienić czas trwania. Jeśli nie pobrałeś wcześniej źródła i nie skompilowałeś własnych pakietów, możesz to zrobić w następujący sposób. Z katalogu domowego w oknie terminala:

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

Poszukaj linii, która mówi:

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

i może podwoić czas trwania. Jeśli nigdy nie zbudowałeś pakietu ze źródła, zanim będziesz potrzebował kilku narzędzi. Więc zrób:

sudo apt-get install build-essential devscripts

Następnie, aby uzyskać zależności niezbędne do prawidłowego zbudowania jedności:

sudo apt-get build-dep unity

Na koniec utwórz pakiet i zainstaluj:

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

Jeśli masz problemy z zależnościami, daj mi znać, a postaram się pomóc ci dowiedzieć się, czego brakuje.