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.

Sign up for GitHub

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

Jump to bottom

Hyperlink a few headers on the add scripts page #1231

Merged
merged 1 commit into from
Nov 5, 2017
Merged

Hyperlink a few headers on the add scripts page #1231

merged 1 commit into from
Nov 5, 2017

Conversation

Martii
Copy link
Member

@Martii Martii commented Nov 5, 2017

  • Mimic current md handling

@Martii Martii added enhancement Something we do have implemented already but needs improvement upon to the best of knowledge. UI Pertains inclusively to the User Interface. labels Nov 5, 2017
@Martii Martii merged commit 8204977 into OpenUserJS:master Nov 5, 2017
@Martii Martii deleted the someBookMarkLinks branch November 5, 2017 09:49
Martii added a commit to Martii/OpenUserJS.org that referenced this pull request Nov 13, 2017
@Martii
Rework the linkage on collapsed
22190c9 
* HTML5 via W3C says `name` attribute not supported anymore so rework
* Rename a few bookmarks and denote `rel` attribute

Works in Opera Presto... older IEs not tested yet

Post OpenUserJS#1231 and post OpenUserJS#202
@github-actions github-actions bot locked as resolved and limited conversation to collaborators May 9, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
enhancement Something we do have implemented already but needs improvement upon to the best of knowledge. UI Pertains inclusively to the User Interface.
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@Martii