Prev GdkDisplay::pointer_ungrab Next

GdkDisplay::pointer_ungrab

void pointer_ungrab([int time_ = GDK_CURRENT_TIME]);

See also: keyboard_ungrab()

Prev Home Next
GdkDisplay::pointer_is_grabbed Up GdkDisplay::put_event

© 2008—2024 «phpm.ru | Документация и сервисы»       PHP | MySQL | Smarty | PEAR | PHP-GTK | Типограф | Сокращатель ссылок