ninja-ide/ninja-ide — pull request #949 by shuhaowu (2012-10-29 21:55:10+00:00)
Title: Fixed #947

Added a line to check if the previous extension is already a .py so this
makes sure it doesn't add it again.

A setting option should be added in the future to disable adding the
.py extension