Python source code editor widget