偏好设置 - 扩展编辑器(Extension Editor)


扩展编辑器的偏好设置

扩展编辑器的偏好设置涵盖了一些使用它时显示的信息的有关选项,具体有下面几个: