$window.isDocked Checks if a window is currently docked |
Usage |
$window.isDocked $window.isDocked(<window_id>) |
Description |
Returns 1 if the window specified by <window_id> is currently docked and 0 otherwise. The form with no parameters works on the current window. If the specified window doesn't exist then 0 is returned. |
See also |
window.dock, window.undock |