Code Editor : selection_prefs.py