plugin:bookmark
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
plugin:bookmark [2021-03-14 22:50] – [Do case-folding and allow space and dash in bookmarkname] davidtango | plugin:bookmark [2021-03-14 22:50] (current) – [Allow space and dash in bookmarkname] davidtango | ||
---|---|---|---|
Line 53: | Line 53: | ||
==== Allow space and dash in bookmarkname ==== | ==== Allow space and dash in bookmarkname ==== | ||
- | Suggestion: by doing character case-folding, | + | Suggestion: by allowing the space and dash characters in a bookmarkname, |
plugin/bookmark.1615758614.txt.gz · Last modified: 2021-03-14 22:50 by davidtango