对于16.2版本或者之后的版本, 如果需要高亮成不同的颜色, 使用的不是Highlight, 而是另外一个选项,叫Assign color来设置的.在Display--Assign color中,选中后在Option中可以选择颜色. 这个按钮的快捷键一般就在Highlight的旁边, 看起来像一个小刷子的图标,
