When I was running Ubuntu 18.04, I used the answer here to disable the tooltips when hovering over the dock by the mouse. After upgrading to Ubuntu 20.04, that solution no longer works.
Is there a workaround to disable tooltips for Dock only as shown in the image below?
EDIT: I am using the Yaru theme if that matters:
Here is the content of /usr/share/gnome-shell/theme
:
├── calendar-today.svg
├── classic-process-working.svg
├── classic-toggle-off-intl.svg
├── classic-toggle-off-us.svg
├── classic-toggle-on-intl.svg
├── classic-toggle-on-us.svg
├── gnome-classic.css
├── gnome-classic-high-contrast.css
└── Yaru
└── gnome-shell-theme.gresource