diff options
author | Dave Davenport <qball@gmpclient.org> | 2020-06-09 22:57:02 +0200 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2020-06-09 22:57:02 +0200 |
commit | 8c51b9ec3e87293b6d444d461c207778549bb1ae (patch) | |
tree | ed216c0b028b5cc157280fc0526df505520a4609 /doc/rofi-theme.5.markdown | |
parent | bf17e1c65e63ad5bda2c50d6b882dec4c01fcedb (diff) |
[Doc] update rofi-theme(5) with mm size.
Diffstat (limited to 'doc/rofi-theme.5.markdown')
-rw-r--r-- | doc/rofi-theme.5.markdown | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/rofi-theme.5.markdown b/doc/rofi-theme.5.markdown index 143551db..ab941949 100644 --- a/doc/rofi-theme.5.markdown +++ b/doc/rofi-theme.5.markdown @@ -334,12 +334,14 @@ It currently supports: * Format: `{Real}em` * Format: `{Real}ch` * Format: `{Real}%` +* Format: `{Integer}mm` A distance can be specified in 3 different units: * `px`: Screen pixels. * `em`: Relative to text height. * `ch`: Relative to width of a single number. +* `mm`: Actual size in millimeters (based on dpi). * `%`: Percentage of the **monitor** size. Distances used in the horizontal direction use the monitor width. Distances in |