on-button-release ( win event user-data -- ? )
Gtk-based UI backend

Prev:	on-button-press ( win event user-data -- ? )
Next:	on-motion ( win event user-data -- ? )

Vocabulary
ui.backend.gtk2

Inputs

win	an object
event	an object
user-data	an object

Outputs

?

an object

Definition

USING: accessors combinators gdk2.ffi kernel ui.backend.x11.keys
ui.gestures ui.private ;

IN: ui.backend.gtk2

:: on-button-release ( win event user-data -- ? )
    win window :> world event type>> GDK_BUTTON_RELEASE = [
        event button>> {
            { 8 [ world left-action send-action ] }
            { 9 [ world right-action send-action ] }
            [
                event event-modifiers swap <button-up>
                event event-loc world send-button-up
            ]
        } case
    ] when t ;