1. Increasing the amount of time mousing over to bring up the Launcher by a few milliseconds across the board
2. Add an if statement to the Launcher code that prevents the Launcher from being invoked for a few extra milliseconds if a mouse-over event in an application has occurred within the past few milliseconds.
I envision two solutions to this bug
1. Increasing the amount of time mousing over to bring up the Launcher by a few milliseconds across the board
2. Add an if statement to the Launcher code that prevents the Launcher from being invoked for a few extra milliseconds if a mouse-over event in an application has occurred within the past few milliseconds.