1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
--
-- Notion dock module configuration
--
-- Create a dock.
mod_dock.create{
-- Dock mode: embedded|floating.
mode="embedded",
-- The screen to create the dock on.
screen=0,
-- Corner or side of the screen to place the dock on.
-- For embedded dock the valid values are: tl|tr|bl|br.
-- For floating dock the following are also valid: tc|bc|ml|mc|mr.
pos="bl",
-- Growth direction: left|right|up|down.
grow="right",
-- Whether new dockapps should be added automatically to this dock.
is_auto=true,
-- Show floating dock initially?
floating_hidden=false,
-- Name of the dock.
name="*dock*",
}
-- For floating docks, you may want the following toggle binding.
defbindings("WScreen", {
bdoc("Toggle floating dock."),
kpress(META.."D", "mod_dock.set_floating_shown_on(_, 'toggle')"),
})
-- Dock settings menu. For this to work, mod_menu must have been loaded
-- previously.
if mod_menu then
defmenu("dock-settings", {
menuentry("Pos-TL", "_:set{pos='tl'}"),
menuentry("Pos-TR", "_:set{pos='tr'}"),
menuentry("Pos-BL", "_:set{pos='bl'}"),
menuentry("Pos-BR", "_:set{pos='br'}"),
menuentry("Grow-L", "_:set{grow='left'}"),
menuentry("Grow-R", "_:set{grow='right'}"),
menuentry("Grow-U", "_:set{grow='up'}"),
menuentry("Grow-D", "_:set{grow='down'}"),
})
defbindings("WDock", {
mpress("Button3", "mod_menu.pmenu(_, _sub, 'dock-settings')"),
})
end
|
