diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2014-07-14 16:56:40 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2014-07-14 16:56:40 -0600 |
commit | fbc35d5a9493c4475bc111a8dba1d24fe5a66622 (patch) | |
tree | b7c989d8483983336d19cc2c0fdda1b1ce0d07f4 /apps/NxWidgets | |
parent | cc0a93ea3c814ecca3ef021eea63b004ac37d137 (diff) | |
download | px4-nuttx-fbc35d5a9493c4475bc111a8dba1d24fe5a66622.tar.gz px4-nuttx-fbc35d5a9493c4475bc111a8dba1d24fe5a66622.tar.bz2 px4-nuttx-fbc35d5a9493c4475bc111a8dba1d24fe5a66622.zip |
Add larger images for media player. Also options to control spacing and borders on media player windows
Diffstat (limited to 'apps/NxWidgets')
-rw-r--r-- | apps/NxWidgets/Kconfig | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/apps/NxWidgets/Kconfig b/apps/NxWidgets/Kconfig index 2f91b0308..170d262f7 100644 --- a/apps/NxWidgets/Kconfig +++ b/apps/NxWidgets/Kconfig @@ -1117,4 +1117,22 @@ config NXWM_MEDIAPLAYER NOTE: This application is currently under development and just a shell of an app which will be developed soon. +if NXWM_MEDIAPLAYER + +config NXWM_MEDIAPLAYER_XSPACING + int "Media Player Button Spacing" + default 16 + ---help--- + This is the space between play, forward, and reverse buttons in + units of pixels. + +config NXWM_MEDIAPLAYER_BORDERS + bool "Media Player Button Borders" + default n + ---help--- + If you have nice graphics, then borderless would probably be the + better choice. If you graphics is really more of a button label, + then have buttons with boarders might make more sense. + +endif # NXWM_MEDIAPLAYER endif # NXWM |