diff options
| author | Dave Davenport <DaveDavenport@users.noreply.github.com> | 2019-11-18 20:38:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-18 20:38:38 +0100 |
| commit | 5a457022e98c0106c1037ecaa8b1901830bc3de7 (patch) | |
| tree | 7f8df9a95c9bb253b442955e094b897f94f54855 /doc | |
| parent | 37121bfbe22fe925a913d0af97d8bff9858840db (diff) | |
Update rofi-theme.5.markdown
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/rofi-theme.5.markdown | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/rofi-theme.5.markdown b/doc/rofi-theme.5.markdown index 7a333fbf..032de08b 100644 --- a/doc/rofi-theme.5.markdown +++ b/doc/rofi-theme.5.markdown @@ -577,6 +577,7 @@ The following properties are currently supported: ### all widgets: +* **enabled**: enable/disable the widget * **padding**: padding Padding on the inside of the widget * **margin**: padding |