Existem extensões variadas no link que você pode usar, incluindo:
-
Insensitive Message Tray - que
% bl0ck_qu0te%Esta funcionalidade também inclui agora a extensão Dask to Dock .
-
No Topleft Hot Corner - que:
% bl0ck_qu0te%
Você pode ter que usar outras extensões dependendo de qual versão do shell do Gnome você está usando.