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

Remove fragment-identifier package #71

Merged
merged 2 commits into from
Apr 3, 2020
Merged

Remove fragment-identifier package #71

merged 2 commits into from
Apr 3, 2020

Commits on Apr 3, 2020

  1. Remove fragment-identifier package 

    Due to unresolved questions about the fragment identifier format and
difficulties around parsing the fragment identifier correctly, remove
the fragment-identifier package entirely for the time being.

See also [w3c/web-annotation#443].

Close #66.

[w3c/web-annotation#443]: w3c/web-annotation#443
    @tilgovi @Treora
    tilgovi authored and Treora committed Apr 3, 2020
    Configuration menu
    Copy the full SHA
    f0b14dc View commit details
    Browse the repository at this point in the history

  2. Tweak PR 

    - No need to run upon page load.
- In selectionChange handler, test if selector has a value
- Rename refresh→anchor (call cleanup() separately)
- Make element–example relation less magic
    @Treora
    Treora committed Apr 3, 2020
    Configuration menu
    Copy the full SHA
    6dfe24d View commit details
    Browse the repository at this point in the history