- basename = UIConfiguration::instance().color_file_name (false, running_from_source_tree(), false);
+ /* look for a versioned user-owned color file, and try to rename it */
+
+ basename = UIConfiguration::instance().color_file_name (true, false, true);