[Phpmyadmin-devel] about colors.inc.php

Hi, one thing bothers me: the repetition of some settings in config.inc.php and in themes/themename/colors.inc.php. For example, I was trying to set $cfg['SQP']['fmtType'] to 'none'. My first reflex was to change the setting in config.inc.php, however this is not the one that is used, it's the one under the active theme! I smell some confusion coming... Should we remove all of these repeated settings from config.inc.php, with a comment there pointing to /themes? We would have to update the doc about this, and possibly libraries/config_import.lib.php. Marc