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



Rockbox mail archive

Subject: Aw: Re: give .cfg settings grouping names?

Aw: Re: give .cfg settings grouping names?

From: <thomas47_at_arcor.de>
Date: Mon, 17 Nov 2008 12:09:16 +0100 (CET)

 Von: Jonathan Gordon <jdgordy_at_gmail.com>

> 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'd add a 3rd option: A rather cosmetic change to the settings names (which are supposed to be not visible to the user anyway, aren't they?) isn't worth breaking every single theme once again.

Jetzt komfortabel bei Arcor-Digital TV einsteigen: Mehr Happy Ends, mehr Herzschmerz, mehr Fernsehen! Erleben Sie 50 digitale TV Programme und optional 60 Pay TV Sender, einen elektronischen Programmführer mit Movie Star Bewertungen von TV Movie. Außerdem, aktuelle Filmhits und spannende Dokus in der Arcor-Videothek. Infos unter www.arcor.de/tv
Received on 2008-11-17

Page template was last modified "Tue Sep 7 00:00:02 2021" The Rockbox Crew -- Privacy Policy