Code Editor : default-settings.page