Code Editor : keep_settings.sv.html