cmd+k 中的 @definitions

0.9.9-nightly 2023年9月8日

修复若干 cmd+k bug，同时可能引入新的 cmd+k bug！请在 Discord 频道反馈您发现的所有 cmd+k 问题。