|
The change just drops shortcuts that are delivered when the previous shortcut request had not completed yet. I applied it for all platforms since it can not hurt. If the screen has not updated from the last search yet, another search makes no sense.
Hopefully this will fix it on your other machine as well, it can not hurt!
|