diff options
author | Simon Glass <sjg@chromium.org> | 2023-06-01 10:23:00 -0600 |
---|---|---|
committer | Tom Rini <trini@konsulko.com> | 2023-07-14 12:54:51 -0400 |
commit | 7230fdb3837ad745adff4cf129dd04e893fe0a36 (patch) | |
tree | bcc1e33d0dddea62b60e1175e2a6c2c72865cef5 /doc | |
parent | 4e64beeba7de7720b42714cbc542c9f7dfbba841 (diff) | |
download | u-boot-7230fdb3837ad745adff4cf129dd04e893fe0a36.zip u-boot-7230fdb3837ad745adff4cf129dd04e893fe0a36.tar.gz u-boot-7230fdb3837ad745adff4cf129dd04e893fe0a36.tar.bz2 |
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')
-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 80e435c..bd593dc 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 ----------------- |