gtk3.0 settings.ini: change name