diff options
author | Dave Davenport <DaveDavenport@users.noreply.github.com> | 2022-01-25 09:57:59 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-25 09:57:59 +0100 |
commit | 85c6545a43dd8f03697f9537c4b2fe03b409fcd0 (patch) | |
tree | a86c269a0a36b62f25ca196770a65e5111958584 /doc/rofi-theme.5.markdown | |
parent | 6e3feee1799d280e246ea088350a6722f6b2e894 (diff) |
Merge List and Array type into one. (#1572)
* Merge list and array into one.
* [Lexer] Only use string without " in list
* Some cleanups
* Cleanups based on feedback.
Diffstat (limited to 'doc/rofi-theme.5.markdown')
-rw-r--r-- | doc/rofi-theme.5.markdown | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/doc/rofi-theme.5.markdown b/doc/rofi-theme.5.markdown index b7ad5ef1..11b0d424 100644 --- a/doc/rofi-theme.5.markdown +++ b/doc/rofi-theme.5.markdown @@ -535,12 +535,11 @@ Specify the type of mouse cursor that is set when the mouse pointer is over the A list starts with a '[' and ends with a ']'. The entries in the list are comma-separated. The `keyword` in the list refers to an widget name. -## Array of values +## List of values -* Format: `{ value, value, ... }` +* Format: `[ value, value, ... ]` -An array starts with a '{' and ends with a '}'. The entries in the array are comma-separated. -Currently, only the integer and distance types are supported as array values. +An list starts with a '[' and ends with a ']'. The entries in the list are comma-separated. ## Environment variable |