get_current_device_grab


Description:

[ Version ( since = "3.0" ) ]
public unowned Widget? get_current_device_grab (Device device)

Returns the current grab widget for device, or null if none.

Parameters:

this

a WindowGroup

device

a Device

Returns:

The grab widget, or null




2022 vala-language.org