Code Editor : extras.pyi