Code Editor : preferences_general.page