device_grab_remove


Description:


[ Version ( since = "3.0" ) ]
public void device_grab_remove (Widget widget, Device device)

Removes a device grab from the given widget.

You have to pair calls to device_grab_add and device_grab_remove.

Parameters:

widget

a Widget

device

a Device


Namespace: Gtk
Package: gtk+-3.0



2022 vala-language.org