diff options
| author | Jonny Lamb <jonny.lamb@collabora.co.uk> | 2014-08-12 15:07:51 +0200 |
|---|---|---|
| committer | Pekka Paalanen <pekka.paalanen@collabora.co.uk> | 2014-08-18 13:26:41 +0300 |
| commit | e67118c80ad411ac46b7096aae2635510c80ea6d (patch) | |
| tree | 15297809709849fa4166b76323a3be36e44be0d4 /man | |
| parent | 1046f121f774e9248260d2bdd244eca111773426 (diff) | |
desktop-shell: add option to avoid creating the panel
This option is so we can disable showing any panel at all. The default
is to continue showing the panel and no example is added to weston.ini
because it's an uncommon request.
Tested-by: Pekka Paalanen <pekka.paalanen@collabora.co.uk>
Diffstat (limited to 'man')
| -rw-r--r-- | man/weston.ini.man | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/man/weston.ini.man b/man/weston.ini.man index 3d8eef90..22f9f0dd 100644 --- a/man/weston.ini.man +++ b/man/weston.ini.man @@ -186,6 +186,11 @@ digit pairs are in order transparency, red, green, and blue. Examples: .fi .RE .TP 7 +.BI "panel-location=" top +sets the location of the panel (string). Can be +.B top, +.B none. +.TP 7 .BI "locking=" true enables screen locking (boolean). .TP 7 |