Details

This patch makes the pitch setting permanent. You can set the pitch value that should be used after the DAP is switched on. This can also be changed in the pitch screen but the value set there is NOT saved. So if you set the pitch to 150% in the pitch screen but have it set to 100% in the sound settings, 100% will be used after the next power on.

Also, the initial mode for changing pitch (small steps/semitones) can be set.

Manual is also updated.

I changed the symbol HAVE_PITCHSCREEN to HAVE_ADJUSTABLE_PITCH since it better tells what we're at IMHO.

Closed by Alexander Levin (fml2)
Tuesday, 18 January 2011, 10:07 GMT Reason for closing: RejectedAdditional comments about closing: Since the pitch is stored in bookmarks
since some time now, this feature is not
needed much any more.

I think, there is no setting for the pitch yet. Hence you can't define it via the config file (no matter which one). This patch makes it possible. Another question is whether we should allow the user to set the two settings via the GUI. I chose to do so. Otherwise they will be forgotten and will never be used.

Another note: it would be good if some indicator would display in the status bar if the pitch is not exactly 100%. Maybe different symbols for <100% and >100%. But this would be the subject for another patch once this is committed.

Your change HAVE_PITCHSCREEN to HAVE_ADJUSTABLE_PITCH is definitely not need at all. HAVE_PITCHSCREEN does the job very well, since the pitchscreen is only activated for those target for which HAVE_PITCHSCREEN is defined.

Also, you are introducing several new settings. Are you sure they are needed, and worth the bin size grow and the menu cluttering? I don't think so.

I introduced the settings in the menu because, as I understand, there are no settings without GUI access in Rockbox. The symbol name might indeed be changed in a separate patch but I think the new name better describes the feature, i.e. the capability of the player to adjust the pitch. And if the player is capable of that, Rockbox will of course allow that. So HAVE_PITCHSCREEN is an 'implication' of HAVE_ADJUSTABLE_PITCH.

Please commit some variation of this to mainline. I use my e200 mainly for listening to podcasts while commuting, and it is tiring having to adjust the playback speed to my preferred 183% on every boot.