jorge's stompbox

A nice autohide fix for the Unity launcher

Jason Smith sends this along:

So there was a seemingly simple bug, the launcher would autohide when the quicklist was open.This was due to the fact that the launcher was entirely unaware of when a quicklist was open.

So I layed out a design to follow in the bug report, essentially I left a stubbed class that someone could implement.

As it ends up Jamal Fanaian has returned for his 2nd straight day of Unity contributions. Jason continues:

The class he created tracks the state of all quicklists in the launcher, then informs the launcher when they show/hide/change. He then made the launcher consume this information and avoid hiding when one was showing. Oh, and he cleaned up a bunch of code while he was doing it, just for giggles.

Not a bad start!