I don't know, but 4coder is pretty poor for editing python files in the current version. Extended language support is coming soon though.
