get_id


Description:

public Window get_id ()

Gets the window ID of a Socket widget, which can then be used to create a client embedded inside the socket, for instance with Plug.

The Socket must have already be added into a toplevel window before you can make this call.

Parameters:

this

a Socket.

Returns:

the window ID for the socket