偏好设置

修改工作区显示、默认键盘快捷键和其他设置。