get_id


Description:

public Window get_id ()

Gets the window ID of a Plug widget, which can then be used to embed this window inside another window, for instance with add_id.

Parameters:

this

a Plug.

Returns:

the window ID for the plug