优化粗体显示关键字 改为默认开启 关键字除了加粗,还会显示为蓝色。(白色主题下使用比较暗的蓝色,深色主题下使用比较亮的蓝色) 在“其他”选项卡里添加了“显示高级设置” 在“其他”里面也加了一份“显示高级设置”。