get_window_for_xid
Description:
public unowned Window get_window_for_xid (
uint32 xid)
Used to fetch the Window that wraps the given window.
Parameters:
| this |
a Matcher
|
| xid |
The X11 Window ID to search for
|
Returns:
|
The Window representing the xid passed, or NULL if none exists.
|