diff options
| author | Dave Davenport <qball@gmpclient.org> | 2017-01-11 23:19:29 +0100 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2017-01-11 23:19:29 +0100 |
| commit | 63d8bfb0713eb2d3faee78eb96a866cf06223d6a (patch) | |
| tree | e9bb40dbf51b6bd27394932d659abf274259254f /doc | |
| parent | d8ca3e01def8fa54b0e60f3391fd8568ec3ca7da (diff) | |
Updates
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/themer.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/themer.md b/doc/themer.md index 1591b4a6..af4aae3c 100644 --- a/doc/themer.md +++ b/doc/themer.md @@ -140,8 +140,8 @@ may not contain any whitespace. The current theme format support different type of properties: * a string. - * an integer positive number. - * a positive fractional number. + * an integer number. + * a fractional number. * a boolean value. * a color. * text style. @@ -166,7 +166,7 @@ font: "Awasome 12"; ###### Integer -* Format: `[:digit:]+` +* Format: `[-+]?[:digit:]+` An integer may contain any number. @@ -178,7 +178,7 @@ lines: 12; ##### Real -* Format: `[:digit:]+(\.[:digit:]+)?` +* Format: `[-+]?[:digit:]+(\.[:digit:]+)?` A real is an integer with an optional fraction. |