This repository has been archived by the owner on Mar 28, 2024. It is now read-only.

Improve the Table Of Content filter #28

Closed

jcmellado opened this issue Jul 7, 2020 · 0 comments

Owner

jcmellado commented Jul 7, 2020

The filter can be improved, like the bookmarks one See #26

jcmellado mentioned this issue

Improved heading filter #29

Merged

jcmellado closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.