[orca] Event manager: Ignore selected-changed false on push buttons

[Joanmarie Diggs <joanied src gnome org>]

commit 5e197da6021fbfc73ca0c788cbcb7fe932e9130c
Author: Joanmarie Diggs <jdiggs igalia com>
Date:   Thu Apr 21 14:18:24 2022 +0200

    Event manager: Ignore selected-changed false on push buttons
    
    More work on trying to make gnome-shell presentation less laggy...

 src/orca/event_manager.py | 5 +++++
 1 file changed, 5 insertions(+)
---
diff --git a/src/orca/event_manager.py b/src/orca/event_manager.py
index 691a6def6..e25402d45 100644
--- a/src/orca/event_manager.py
+++ b/src/orca/event_manager.py
@@ -259,6 +259,11 @@ class EventManager:
                 msg = 'EVENT MANAGER: Ignoring event type due to role'
                 debug.println(debug.LEVEL_INFO, msg, True)
                 return True
+        elif event.type.startswith('object:state-changed:selected'):
+            if not event.detail1 and role in [pyatspi.ROLE_PUSH_BUTTON]:
+                msg = 'EVENT MANAGER: Ignoring event type due to role and detail1'
+                debug.println(debug.LEVEL_INFO, msg, True)
+                return True
         elif event.type.startswith('object:state-changed:showing'):
             if role not in [pyatspi.ROLE_ALERT,
                             pyatspi.ROLE_ANIMATION,