Code Editor : view-settings.html