Gdk event constants

[d47081]

Thoughts to implement some constants like Gdk.EventType.DOUBLE_BUTTON_PRESS

I'm currently using static numbers in my app:

$this->gtk->connect(
    'button-press-event',
    function (
        ?\GtkNotebook $self,
        ?\GdkEvent $event
    ) {
        // Close tab on double click
        if ($event->type == 5) // Gdk.EventType.DOUBLE_BUTTON_PRESS
        {
            $this->close();
        }
    }
);

Where is better to define GDK constants in PHP-GTK3?

By the way, here is related PR #110
I'm still waiting for merge to continue

[scorninpc]

https://github.com/scorninpc/php-gtk3/blob/master/main.cpp#L403
https://github.com/scorninpc/php-gtk3/blob/master/main.cpp#L450

[d47081]

Thanks, found it!