![]() |
![]() |
Functions: w |
|
$window.caption | Returns the caption of a window |
$window.console | Returns the console that a window is attacched to |
$window.exists | Checks for the existence of a window |
$window.hasInput | Checks if a window has an input field |
$window.hasOutput | Checks if a window has a text output widget |
$window.hasUserFocus | Checks if a window has the user focus |
$window.isMaximized | Checks if a window is currently maximized |
$window.isMinimized | Checks if a window is currently minimized |
$window.list | Generates lists of windows |
$window.type | Returns the type of a window |
$window | Retrieves the ID of a specified window |
|