From cd862aa53ebf04b6f9c450885b26e4bf2773d0fc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Thu, 20 Apr 2023 13:40:40 +0200 Subject: [PATCH] panel: Drop unnecessary captured-event handler The handler dates back to commit 50f248ec5b2a0 in 2011, and is part of the original hack of making the activities button a PanelMenu.Button while suppressing its menu. By now, panel buttons without a menu have been properly supported for years, but somehow that bit of the hack stuck around, even though it is no longer actually needed (probably since the introduction of DummyMenu. Part-of: --- js/ui/panel.js | 9 --------- 1 file changed, 9 deletions(-) diff --git a/js/ui/panel.js b/js/ui/panel.js index 19a28dedc..03551c5ec 100644 --- a/js/ui/panel.js +++ b/js/ui/panel.js @@ -274,15 +274,6 @@ class ActivitiesButton extends PanelMenu.Button { return DND.DragMotionResult.CONTINUE; } - vfunc_captured_event(event) { - if (event.type() == Clutter.EventType.BUTTON_PRESS || - event.type() == Clutter.EventType.TOUCH_BEGIN) { - if (!Main.overview.shouldToggleByCornerOrButton()) - return Clutter.EVENT_STOP; - } - return Clutter.EVENT_PROPAGATE; - } - vfunc_event(event) { if (event.type() == Clutter.EventType.TOUCH_END || event.type() == Clutter.EventType.BUTTON_RELEASE) {