Added MP3 buffer margin setting

git-svn-id: svn://svn.rockbox.org/rockbox/trunk@2939 a1c6a512-1295-4272-9138-f99709370657

1 files changed, 8 insertions, 0 deletions

diff --git a/apps/settings_menu.c b/apps/settings_menu.c
index a7b95ba755..4342e9b2d5 100644
--- a/apps/settings_menu.c
+++ b/apps/settings_menu.c
@@ -496,6 +496,13 @@ static bool poweroff(void)
 }
 #endif
 
+static bool buffer_margin(void)
+{
+    return set_int(str(LANG_MP3BUFFER_MARGIN), "s",
+                   &global_settings.buffer_margin,
+                   mpeg_set_buffer_margin, 1, 0, 7 );
+}
+
 static bool ff_rewind_min_step(void) 
 { 
     char* names[] = { "1s", "2s", "3s", "4s",
@@ -535,6 +542,7 @@ static bool playback_settings_menu(void)
         { str(LANG_RESUME), resume },
         { str(LANG_FFRW_STEP), ff_rewind_min_step },
         { str(LANG_FFRW_ACCEL), ff_rewind_accel },
+        { str(LANG_MP3BUFFER_MARGIN), buffer_margin },
     };
 
     bool old_shuffle = global_settings.playlist_shuffle;