Closed kmoschcau closed 9 months ago
What the title says. Essentially let the user use their own highlighting.
Hi @kmoschcau, I've added this in ecc1abc1d727a9d1e74eafb62f8d6a35dfc2169f
Thanks!
What the title says. Essentially let the user use their own highlighting.