Python/Qt Code Editor Widget library