ninja-ide/ninja-ide — pull request #40 by malderete (2011-11-05 21:43:40+00:00)
Title: File encoding on Editor

This commit add the encoding property to the editor