Crimson editor怎么设置使用短文件名

1、点击Crimson editor菜单中的tools菜单

2、弹出了下拉菜单选中为preferences选项

3、点击左侧中user tools选项

4、勾选use shoat filenams选项

5、勾选use shoat filenams选之后，点击ok