换了新的编辑器

2026-09-10

原来的编辑器用了两年多，最近觉得有点卡。换了一个更轻量的，配置花了一个晚上，现在用着还行。顺手把快捷键也重新调了一遍，效率高了一些。