Highlight notes containing searched text on document/tab switch

Question

Dimchikkk opened this issue a year ago · comments

This is follow-up for #116

Dimchikkk · Answer 1 · Wed Jul 19 2023 16:05:41 GMT+0800 (China Standard Time)

This can be re-opened if someone wants to work on it.