From 5559b236febe11bb5d9f2a86f403e2afaa5c7840 Mon Sep 17 00:00:00 2001
From: yggverse <yggverse@project>
Date: Sat, 20 Jul 2024 10:58:47 +0300
Subject: [PATCH] use Gdk::DOUBLE_BUTTON_PRESS

---
 src/Entity/Browser/Container/Tab.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Entity/Browser/Container/Tab.php b/src/Entity/Browser/Container/Tab.php
index 91ff1ca4..df34bb56 100644
--- a/src/Entity/Browser/Container/Tab.php
+++ b/src/Entity/Browser/Container/Tab.php
@@ -134,7 +134,7 @@ class Tab
                 ?\GdkEvent $event
             ) {
                 // Close tab on double click
-                if ($event->type == 5) // @TODO PHP-GTK3 Gdk.EventType.DOUBLE_BUTTON_PRESS
+                if ($event->type == \Gdk::DOUBLE_BUTTON_PRESS)
                 {
                     $this->close();
                 }