Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Replace HTML anchor tags with Markdown #337

Merged

Conversation

RichOrElse
Copy link
Contributor

No description provided.

Verified

This commit was created on github.com and signed with GitHub’s verified signature. The key has expired.
@RichOrElse RichOrElse force-pushed the feature/markdown-style-toc-headers branch from 250c821 to a1c64d5 Compare October 10, 2018 13:54
@geemus
Copy link
Member

geemus commented Oct 10, 2018

Prior to this change, I think the titles would be links themselves (so you could click on them to have the anchor appear in the navigation bar), whereas after this I think the anchors would be purely hidden? Does that line up with your expectation? I think maybe being able to click can sometimes help people to discover/remember the anchors, but maybe it's more trouble than it is worth as your version certainly makes the raw output more readable. What do you think?

@RichOrElse
Copy link
Contributor Author

I only wanted a cosmetic change, didn't want to remove the functionality provided by named anchor tags. That's why I revised and overwritten my previous commit.

@geemus geemus merged commit b396272 into interagent:master Oct 11, 2018
@geemus
Copy link
Member

geemus commented Oct 11, 2018

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants