diff --git a/options.xhtml b/options.xhtml
index 6e80c2652..88e3417dc 100644
--- a/options.xhtml
+++ b/options.xhtml
@@ -12687,7 +12687,7 @@ boolean
Output video display controller.
Type:
-null or unsigned integer, meaning >=0
+null or (unsigned integer, meaning >=0)
Default:
null
@@ -12714,7 +12714,7 @@ null or unsigned integer, meaning >=0
Output DPI configuration.
Type:
-null or positive integer, meaning >0
+null or (positive integer, meaning >0)
Default:
null
@@ -12992,7 +12992,7 @@ one of “factor”, “pixel”
Horizontal scaling factor/pixels.
Type:
-floating point number or positive integer, meaning >0
+floating point number or (positive integer, meaning >0)
Declared by:
@@ -13013,7 +13013,7 @@ floating point number or positive integer, meaning >0
Vertical scaling factor/pixels.
Type:
-floating point number or positive integer, meaning >0
+floating point number or (positive integer, meaning >0)
Declared by:
@@ -26354,7 +26354,7 @@ The kakoune default is 4
.
If 0
, a tab will be used instead.
Type:
-null or unsigned integer, meaning >=0
+null or (unsigned integer, meaning >=0)
Default:
null
@@ -26901,7 +26901,7 @@ null or string
6
.
Type:
-null or unsigned integer, meaning >=0
+null or (unsigned integer, meaning >=0)
Default:
null
@@ -27047,7 +27047,7 @@ is, if the terminal sends F13 for Shift-F1, this
should be 12
.
Type:
-null or unsigned integer, meaning >=0
+null or (unsigned integer, meaning >=0)
Default:
null
@@ -27271,7 +27271,7 @@ null or string
Wrap text at maxWidth, even if the window is wider.
Type:
-null or unsigned integer, meaning >=0
+null or (unsigned integer, meaning >=0)
Default:
null
@@ -52503,12 +52503,12 @@ path
- programs.zsh.zproof.enable
+ programs.zsh.zprof.enable
-Enable zproof in your zshrc.
+Enable zprof in your zshrc.
Type:
unspecified value
@@ -53691,7 +53691,7 @@ null or integer between 0 and 100 (both inclusive)
Number of seconds between updates of the battery information.
Type:
-null or positive integer, meaning >0
+null or (positive integer, meaning >0)
Default:
null
@@ -57042,7 +57042,7 @@ hotkey in which case you’ll have to activate gromit-mpx
manually using the command line.
Type:
-null or string or positive integer, meaning >0
+null or string or (positive integer, meaning >0)
Default:
"F9"
@@ -57164,7 +57164,7 @@ list of (submodule)
at the end of a stroke with the given size.
Type:
-null or positive integer, meaning >0
+null or (positive integer, meaning >0)
Default:
null
@@ -57329,7 +57329,7 @@ undone stoke. Set to null
to disable the
undo hotkey.
Type:
-null or string or positive integer, meaning >0
+null or string or (positive integer, meaning >0)
Default:
"F10"
@@ -64424,7 +64424,7 @@ package
Sets the maximum volume.
Type:
-null or unsigned integer, meaning >=0
+null or (unsigned integer, meaning >=0)
Default:
null
@@ -64887,7 +64887,7 @@ package
Trayer configuration as a set of attributes. Further details can be
-found in trayer’s README.
SetDockType
boolean (default: true
)
SetPartialStrut
boolean (default: true
)
align
one of “left”, “right”, “center” (default: "center"
)
alpha
signed integer (default: 127
)
distance
signed integer (default: 0
)
distancefrom
one of “left”, “right”, “top”, “bottom” (default: "top"
)
edge
one of “left”, “right”, “top”, “bottom”, “none” (default: "bottom"
)
expand
boolean (default: true
)
height
signed integer (default: 26
)
heighttype
one of “request”, “pixel” (default: "pixel"
)
iconspacing
signed integer (default: 0
)
margin
signed integer (default: 0
)
monitor
unsigned integer, meaning >=0 or value “primary” (singular enum) (default: 0
)
padding
signed integer (default: 0
)
tint
string (default: "0xFFFFFFFF"
)
transparent
boolean (default: false
)
width
signed integer (default: 100
)
widthtype
one of “request”, “pixel”, “percent” (default: "percent"
)
+found in trayer’s README.SetDockType
boolean (default: true
)
SetPartialStrut
boolean (default: true
)
align
one of “left”, “right”, “center” (default: "center"
)
alpha
signed integer (default: 127
)
distance
signed integer (default: 0
)
distancefrom
one of “left”, “right”, “top”, “bottom” (default: "top"
)
edge
one of “left”, “right”, “top”, “bottom”, “none” (default: "bottom"
)
expand
boolean (default: true
)
height
signed integer (default: 26
)
heighttype
one of “request”, “pixel” (default: "pixel"
)
iconspacing
signed integer (default: 0
)
margin
signed integer (default: 0
)
monitor
unsigned integer, meaning >=0, or value “primary” (singular enum) (default: 0
)
padding
signed integer (default: 0
)
tint
string (default: "0xFFFFFFFF"
)
transparent
boolean (default: false
)
width
signed integer (default: 100
)
widthtype
one of “request”, “pixel”, “percent” (default: "percent"
)
Type:
attribute set of (null or string or boolean or signed integer)
@@ -65319,7 +65319,7 @@ one of “oblique”, “italic”, “ultra-light”, “light”, “medium”
Never cuts if null
.
Type:
-null or unsigned integer, meaning >=0
+null or (unsigned integer, meaning >=0)
Default:
null