Skip to content

Interlinks and filters on gh-pages #1181

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
Closed
mcarton opened this issue Aug 19, 2016 · 0 comments
Closed

Interlinks and filters on gh-pages #1181

mcarton opened this issue Aug 19, 2016 · 0 comments
Labels
A-documentation Area: Adding or improving documentation C-enhancement Category: Enhancement of lints, like adding more cases or adding help messages

Comments

@mcarton
Copy link
Member

mcarton commented Aug 19, 2016

Copied from https://github.com/Manishearth/rust-clippy/pull/1091#issuecomment-240889966.

Expected result: the filter vanishes and the page jumps to the lint.

Cc @killercup.
@mcarton mcarton added C-assigned C-enhancement Category: Enhancement of lints, like adding more cases or adding help messages A-documentation Area: Adding or improving documentation labels Aug 19, 2016
killercup added a commit to killercup/rust-clippy that referenced this issue Aug 28, 2016
@killercup
Tweak HTML version of docs with scroll to lints
816cf56 
Uses good old DOM events and wibbly-wobbly timeouts to wait for angular
to render this huge list of lints.

Fixes rust-lang#1181
@killercup killercup mentioned this issue Aug 28, 2016
Merged
yati-sagade pushed a commit to yati-sagade/rust-clippy that referenced this issue Dec 31, 2016
@killercup @yati-sagade
Tweak HTML version of docs with scroll to lints
e91d887 
Uses good old DOM events and wibbly-wobbly timeouts to wait for angular
to render this huge list of lints.

Fixes rust-lang#1181
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-documentation Area: Adding or improving documentation C-enhancement Category: Enhancement of lints, like adding more cases or adding help messages
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@mcarton