![]() |
![]() |
window.dockDocks a window |
Usage |
|
Description |
Docks the window specified by window_id. If window_id is missing then the current window is docked. If the specified window was already docked 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.undock |