Code Editor : pref-profile-char-width.page