Dock resize on hover and on window focus

[SashaP]

Dock resize on hover and on window focus.

Description: Ubuntu 18.04.1 LTS
Release: 18.04
gnome-shell-extension-ubuntu-dock:
  Installed: 0.9.1ubuntu18.04.1
  Candidate: 0.9.1ubuntu18.04.1

ProblemType: Bug
DistroRelease: Ubuntu 18.04
Package: gnome-shell-extension-ubuntu-dock 0.9.1ubuntu18.04.1
ProcVersionSignature: Ubuntu 4.15.0-43.46-generic 4.15.18
Uname: Linux 4.15.0-43-generic x86_64
ApportVersion: 2.20.9-0ubuntu7.5
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Fri Jan 18 16:15:18 2019
InstallationDate: Installed on 2018-09-17 (123 days ago)
InstallationMedia: Ubuntu 18.04.1 LTS "Bionic Beaver" - Release amd64 (20180725)
PackageArchitecture: all
SourcePackage: gnome-shell-extension-ubuntu-dock
UpgradeStatus: No upgrade log present (probably fresh install)

[Daniel van Vugt (vanvugt)]

I think this is a combination of bug 1769383, and some other hover/resize bug that is also mentioned in bug 1812996 and bug 1812998.

So let's make this about just the hover/resize bug.

[Launchpad Janitor (janitor)]

Status changed to 'Confirmed' because the bug affects multiple users.

[Marco Trevisan (Treviño) (3v1n0)]

This should be fixed by the new version of the dock.