If the problem is the Ubuntu Dock then please report a bug to its developers here:
https://github.com/micheleg/dash-to-dock/issues
and then tell us the new bug ID.
If the problem is the Ubuntu Dock then please report a bug to its developers here:
https:/ /github. com/micheleg/ dash-to- dock/issues
and then tell us the new bug ID.