用新的还是旧的,这是个问题Aug 24, 2017严格来讲并不能说这个功能挂了,而是更新后之前的设置被重置,且新的设置无法保存。于是现在的代码高亮是之前没修改完的主题自带的半成品。我无法证明是插件 BUG 还是我自己的环境出了问题。