You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The *keymode* module displays the current keyboard mode (e.g. "resize", "default") in the Mango compositor. It is hidden when no mode is active.
10
+
11
+
# CONFIGURATION
12
+
13
+
Addressed by *mango/keymode*
14
+
15
+
*format*: ++
16
+
typeof: string ++
17
+
default: {} ++
18
+
The format, how the mode should be displayed. *{mode}* is replaced by the current mode name.
19
+
20
+
*format-<mode>*: ++
21
+
typeof: string ++
22
+
Provide a custom format for a specific keymode. *<mode>* is the mode name as reported by Mango (e.g. "resize"). The value can contain *{mode}* as a placeholder.
23
+
If this option is set, it overrides the main *format* for that mode.
24
+
25
+
*menu*: ++
26
+
typeof: string ++
27
+
Action that pops up a menu.
28
+
29
+
*menu-file*: ++
30
+
typeof: string ++
31
+
Location of the menu descriptor file.
32
+
33
+
*menu-actions*: ++
34
+
typeof: array ++
35
+
Actions for the menu buttons.
36
+
37
+
*expand*: ++
38
+
typeof: bool ++
39
+
default: false ++
40
+
Enables the module to consume all leftover space.
41
+
42
+
# FORMAT REPLACEMENTS
43
+
44
+
*{mode}*: The name of the current keymode.
45
+
46
+
# EXAMPLES
47
+
48
+
```
49
+
"mango/keymode": {
50
+
"format": "[{mode}]",
51
+
"format-resize": " Resizing"
52
+
}
53
+
```
54
+
55
+
# STYLE
56
+
57
+
-*#keymode*
58
+
59
+
A CSS class with the current mode name (e.g. *.resize*) is added to the widget, allowing per‑mode styling:
0 commit comments