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

(FUTURE) - Improvements : #18

Closed
10 of 16 tasks
GehDoc opened this issue Oct 7, 2019 · 1 comment
Closed
10 of 16 tasks

(FUTURE) - Improvements : #18

GehDoc opened this issue Oct 7, 2019 · 1 comment
Assignees
@GehDoc
Labels
enhancement New feature or request
Milestone
Future

Comments

@GehDoc
Copy link
Owner

GehDoc commented Oct 7, 2019 •
edited
Loading

Improvements :
@GehDoc GehDoc added the enhancement New feature or request label Oct 7, 2019
@GehDoc GehDoc added this to the Future milestone Oct 7, 2019
@GehDoc GehDoc self-assigned this Oct 8, 2019
GehDoc added a commit that referenced this issue Oct 11, 2019
@GehDoc
[INTERNAL] pack the extension with webpack
55ed365 
The build is now entirely under gulp control
Fixes : #7

No more need to package part of node_modules/
Progress : #18
@GehDoc GehDoc mentioned this issue Oct 15, 2019
Closed
3 tasks
GehDoc added a commit that referenced this issue Oct 20, 2019
@GehDoc
[CSS] Split and correct, to ease future updates
0146008 
Progress : #18
Fixes : #27
GehDoc added a commit that referenced this issue Mar 2, 2020
@GehDoc
[CSS] Fix highlight on over for <UL>
04db9a6 
Progress on #18 : lists are now OK
GehDoc added a commit that referenced this issue Mar 4, 2020
@GehDoc
Finalize link ID generation, and add TOC support
7a65dae 
Progress on #4.
Closes #20.
Progress on #18.
@GehDoc
Copy link
Owner Author

GehDoc commented Jul 1, 2023

Not relevant anymore

@GehDoc GehDoc closed this as completed Jul 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@GehDoc GehDoc

Labels
enhancement New feature or request
Projects
None yet
Milestone
Future
Development

No branches or pull requests
1 participant
@GehDoc