fix char encoding bugs in the IDE