I download ctex which contains winedt as the default editor. I am Chinese and I want to change the default encoding of winedt from GBK to UTF-8, because I want to interactive with my linux documents.
Consider using a different IDE?! Arduino IDE is fairly simple and anything beyond a few hundred lines of code is hard to work on arduino ide. I'm on the same boat. I either modify code with another text editor winedt or emulate the code on a PC with Dev C++ ide.