micheleg/dash-to-dock — pull request #118 by michalmuskala (2014-11-11 18:44:53+00:00)
Title: Fix issue with small gap between expanded dock and top panel

When using this extension I found a problem with expanded dock - it wasn't aligned to top panel:
![screenshot from 2014-11-11 19 36 43](https://cloud.githubusercontent.com/assets/477062/4998614/34ef16be-69da-11e4-911a-77c8861fa235.png)
Strangely, the gap was gone after resetting the expansion option. I figured out there must be some problem with timing. Unfortunately I know nothing about GTK (or any other desktop environment for that matter), but the delay in updating position seems to help with the issue. This was found through some trials and errors, there may be some cleaner way of fixing this, but I think it's beyond my current abilities.

I'll be happy to answer any questions.