Change Hover#range to be optional
The docs of `Hover#range` state: > When missing, the editor will use the range at the current position or the current position itself. This implies that the `range` field should be optional as it can be missing.
Showing
想要评论请 注册 或 登录