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

Implement ID plugin #2

Closed
hagenburger opened this issue Jul 1, 2018 · 1 comment
Closed

Implement ID plugin #2

hagenburger opened this issue Jul 1, 2018 · 1 comment
Labels
enhancement New feature or request good first issue Good for newcomers RGSoC This is a task for the Rails Girls Summer of Code DV Team
Milestone
v1.0.0

Comments

@hagenburger
Copy link
Owner

hagenburger commented Jul 1, 2018 •
edited
Loading

New feature

Either an element or a code block should be able to get an HTML ID.

Example usage

``` html #my-id
<p>Example</p>
```
# Headline <?: #my-id ?>

Help

In case some hints are needed, here is an example which could be checked against.
@hagenburger hagenburger added enhancement New feature or request good first issue Good for newcomers RGSoC This is a task for the Rails Girls Summer of Code DV Team labels Jul 1, 2018
This was referenced Jul 30, 2018
Closed
Closed
Closed
@hagenburger
Copy link
Owner Author

Implemented by #13.

@hagenburger hagenburger added this to the v1.0.0 milestone Aug 18, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request good first issue Good for newcomers RGSoC This is a task for the Rails Girls Summer of Code DV Team
Projects
None yet
Milestone
v1.0.0
Development

Successfully merging a pull request may close this issue.

ID plugin artnerdnet/pimd
Issue # 2 artnerdnet/pimd
1 participant
@hagenburger