Code Editor : profiles.ini