33a48f1387
We were updating `last_mouse_monitor_mask` only if there were popup menus open, which is obviously wrong.
We were updating `last_mouse_monitor_mask` only if there were popup menus open, which is obviously wrong.