Project

General

Profile

Dock » History » Version 4

Per Amundsen, 04/09/2022 12:48 AM

1 1 Per Amundsen
_Added in 4.3_
2
3 2 Per Amundsen
*/dock [-abloprsNtu] [size] <@window>*
4 1 Per Amundsen
5 4 Per Amundsen
Docks/undocks a window as a [[Monitor_Panels|Monitor Panel]].
6 1 Per Amundsen
7
*Switches*
8
9
-a - Append to any other dock panel on the specified dock side.
10
-b - Dock to the bottom.
11
-l - Dock to the left.
12 2 Per Amundsen
-o - Locks the panel. (Ignored by F2 to toggle panels visibility)
13 3 Per Amundsen
-p - Pins the panel. (Autohide)
14 1 Per Amundsen
-r - Dock to the right.
15
-sN - Used with -a to split the appending panel into two. (0 = add at the beginning, 1 = add at the end)
16
-t - Dock to the top.
17
-u - Undocks/restores the @window to a regular window.
18
19
*Parameters*
20
21
[size] - Width of the new panel if docking a new top/bottom panel, height of the panel if docking a new left/right panel.
22
<@window> - The window to dock.
23
24
*Example*
25
26
<pre>
27
alias testdock {
28
  ; Create a custom window.
29
  window @test
30
31
  ; Dock the custom window as a monitor panel to the left side, appending if there is any other panels.
32
  dock -al @test
33
34
  ; Restores the custom window as a normal window.
35
  dock -u @test
36
37
  ; Docks the custom window as a monitor panel to the top, ignoring any current panels.
38
  dock -t @test
39
}
40
</pre>
41
42
-