Project

General

Profile

Dock » History » Revision 7

Revision 6 (Per Amundsen, 04/09/2022 10:09 AM) → Revision 7/19 (Per Amundsen, 04/09/2022 10:50 AM)

_Added in 4.3_ 

 */dock [-abloNpNrsNtu] [size] <@window>* 

 Docks/undocks a window as a [[Monitor_Panels|Monitor Panel]]. 

 *Switches* 

 -a - Append to any other dock panel on the specified dock side as a new tab or creates a new panel. side. 
 -b - Dock to the bottom. 
 -l - Dock to the left. 
 -oN - Locks the panel. (0 = unlocked, 1 = locked, Ignored by F2 to toggle panels visibility) 
 -pN - Pins the panel. (0 = unpinned, 1 = pinned, Autohide) 
 -r - Dock to the right. 
 -sN - Used with -a to split the appending panel into two. (0 = add at the beginning, 1 = add at the end) 
 -t - Dock to the top. 
 -u - Undocks/restores the @window to a regular window. 

 *Parameters* 

 [size] - Width of the new panel if docking a new top/bottom panel, height of the panel if docking a new left/right panel. 
 <@window> - The window to dock. 

 *Example* 

 <pre> 
 alias testdock { 
   ; Create a custom window. 
   window @test 

   ; Dock the custom window as a monitor panel to the left side, appending if there are any other panels. 
   dock -al @test 

   ; Restores the custom window as a normal window. 
   dock -u @test 

   ; Docks the custom window as a monitor panel to the top, ignoring any current panels. 
   dock -t @test 
 } 
 </pre> 

 -