as the title， Whether the input pointer is in the editor！Is there a way to provide it or know it in other ways?
There’s EditorView.hasFocus for the focus. For the mouse pointer, you’d have to listen to mouseenter/mouseleave DOM events.
as the title， Whether the input pointer is in the editor！Is there a way to provide it or know it in other ways?
There’s EditorView.hasFocus for the focus. For the mouse pointer, you’d have to listen to mouseenter/mouseleave DOM events.