![]() |
![]() |
window.restoreRestores a window |
Usage |
|
Description |
Restores the window specified by window_id. If window_id is missing then the current window is restored. If the specified window was already restored then no operation is performed. If the specified window does not exist a warning is printed unless the -q switch is used. |
Syntax Specification |
|
See also |
window.maximize, window.minimize, $window.ismaxmimized, $window.isminimized |