Rockbox.org home
release
dev builds
extras
themes manual
wiki
device status forums
mailing lists
IRC bugs
patches
dev guide



Rockbox mail archive

Subject: Re: give .cfg settings grouping names?

Re: give .cfg settings grouping names?

From: Dominik Riebeling <dominik.riebeling_at_gmail.com>
Date: Mon, 17 Nov 2008 22:40:59 +0100

On Mon, Nov 17, 2008 at 10:55 AM, Jonathan Gordon <jdgordy_at_gmail.com> wrote:
> so is the lack of comments agreeing with "lots of work for not much
> benefit" or "if someone else does the work I wouldn't object to it"?

I'm in favour of this, as it allows some (future) improvements:
- hidden settings could be edited by a plugin that can use the
grouping for displaying purposes
- the same way could a settings plugin for Rockbox Utility work.
- it makes the settings more organized ;-)

As for the compatibility / updating issues you mentioned this could
simply be done by using group prefixes while keeping the old names and
ignoring the prefix when reading them (was this what you were
referring to as "dummy grouping"?) Using ini-file like groups doesn't
look like an improvement to me as the files afterwards don't have the
same syntax as ini-files (if they had it would be rather easy to
handle for Rockbox Utility, but with a prefix.setting: value would be
quite easy too).

 - Dominik
Received on 2008-11-17


Page was last modified "Jan 10 2012" The Rockbox Crew
aaa