Open oeyoews opened 7 months ago
add userevent for mark node
https://discuss.codemirror.net/t/event-handlers-in-mark-decoration-attributes/3678
add userevent for mark node