Code Editor : keep_settings.pl.html