Code Editor : options_provider_mixin.py