event_remove_filter


Description:


[ Version ( replacement = "Event.remove_filter" , since = "1.18" ) ]
public void event_remove_filter (uint id)

Removes an event filter that was previously added with event_add_filter.

Parameters:

id

The ID of the event filter, as returned from event_add_filter


Namespace: Clutter
Package: clutter-1.0



2022 vala-language.org