IDEA 2020.3 右下角没有小人头，高亮级别，highlight level，语法检查

今天升级到最新版本的 IDEA 企业版，发现居然没有小人头，调整高亮级别了，找了好久，发现只能在在编辑框滚动条最上面那里调整了。如图所示，功能是一样的。