5.31 执行高亮显示命令以后的“Options”面板应该如何进行设置？