IntelliJ IDEA 主题、字体、编辑区主题、文件编码修改、乱码问题