Comment 4 for bug 940085

I would like to add that there is another bug caused by this. now the overlay numbers brought up over the primary icons in the dash stay there after you perform a shift+super shortcut key combo. only way to get them away is to hold the super key down for a while and let go