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
you are using Yaru-dark as shell theme..
so edit the file
/usr/share/themes/Yaru-dark/gnome-shell/gnome-shell.css
around line number 1493 add the line as below..
My final edits are