Code Editor : option_manager_mixin.py