Ill try some of the suggestions posted on the link you shared, tyThank you for letting us know the solution you found.
I'm not using Gnome at the moment, but I suspect there are other ways of achieving the same behaviour, by editing Gnome settings in a terminal, using a GUI settings manager like gconf-editor, or a general Gnome configuration manager like Gnome Tweaks.
https://askubuntu.com/questions/80969/g ... o-use-noti
Some of the advice here may be out of date or not apply to a Debian installation, but there should be something that works without the need for an extension.
If you are happy with your solution, please edit the title of your first post and add [Solved] at the beginning.
Statistics: Posted by b_sep — 2024-05-05 16:03