Code Editor : mixins.pyi