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 /NxWidgets/Kconfig | |
| parent | cc0a93ea3c814ecca3ef021eea63b004ac37d137 (diff) | |
| download | nuttx-fbc35d5a9493c4475bc111a8dba1d24fe5a66622.tar.gz nuttx-fbc35d5a9493c4475bc111a8dba1d24fe5a66622.tar.bz2 nuttx-fbc35d5a9493c4475bc111a8dba1d24fe5a66622.zip | |
Add larger images for media player. Also options to control spacing and borders on media player windows
Diffstat (limited to 'NxWidgets/Kconfig')
| -rw-r--r-- | NxWidgets/Kconfig | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/NxWidgets/Kconfig b/NxWidgets/Kconfig index 2f91b0308..2bd8ea02d 100644 --- a/NxWidgets/Kconfig +++ b/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 12 + ---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 |