diff options
| author | Simon Glass | 2023-06-01 10:23:00 -0600 |
|---|---|---|
| committer | Tom Rini | 2023-07-14 12:54:51 -0400 |
| commit | 7230fdb3837ad745adff4cf129dd04e893fe0a36 (patch) | |
| tree | bcc1e33d0dddea62b60e1175e2a6c2c72865cef5 /doc/develop | |
| parent | 4e64beeba7de7720b42714cbc542c9f7dfbba841 (diff) | |
expo: Add spacing around menus and items
It looks better if menus have a bit of an inset, rather than be drawn hard
up against the background. Also, menu items look better if they have a bit
of spacing between them.
Add theme options for these and implement the required changes.
Signed-off-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to 'doc/develop')
| -rw-r--r-- | doc/develop/expo.rst | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/develop/expo.rst b/doc/develop/expo.rst index 80e435c5e65..bd593dc2b3f 100644 --- a/doc/develop/expo.rst +++ b/doc/develop/expo.rst @@ -162,6 +162,12 @@ properties: font-size Font size to use for all text (type: u32) +menu-inset + Number of pixels to inset the menu on the sides and top (type: u32) + +menuitem-gap-y + Number of pixels between menu items + API documentation ----------------- |