Alex Macleod
d2305ff634
Generate versions HTML directly
2024-09-18 18:51:54 +00:00
Alex Macleod
182cd5f278
Replace the metadata collector with tests
2024-08-12 20:24:46 +00:00
bors
c7c8724897
Auto merge of #13187 - GuillaumeGomez:settings-menu, r=Alexendoo
...
Add settings menu on clippy lints page
It looks like this (when the menu is expanded):
Follow-up of https://github.com/rust-lang/rust-clippy/pull/13178 .
Someone pointed out that they should be able to disable the shortcuts on this page like it's the case for rustdoc and docs.rs. So here we go.
The first commit moves the style into its own file: it's much better for a web browser because it can then cache it.
The second one actually adds the new settings menu you can see above.
r? `@Alexendoo`
changelog: Add settings menu on clippy lints page
2024-08-11 18:42:37 +00:00
Guillaume Gomez
2ae6a4954b
Move themes directly into HTML
2024-08-11 19:44:18 +02:00
Guillaume Gomez
934e98d591
Unify theme and settings menus
2024-08-11 19:39:19 +02:00
Jason Newcomb
2c34d58159
Store deprecated lints as an array of tuples.
...
Remove legacy deprecations.
Remove "View Source" link for deprecated lints.
2024-08-05 09:15:55 -04:00
Guillaume Gomez
7c5209121d
Add new settings menu
2024-07-30 17:31:42 +02:00
Guillaume Gomez
b7e7975ded
Move style into its file
2024-07-30 16:01:36 +02:00
bors
accf6868ee
Auto merge of #13178 - GuillaumeGomez:clippy-lints-page-improvement, r=Alexendoo
...
Add possibility to focus on search input using keyboard
This PR adds the possibility to focus on the search input with `S` or `/` like in rustdoc and `mdbook` and `docs.rs` (unification++). Pressing escape will blur it.
r? `@Alexendoo`
changelog: Add possibility to focus on search input using keyboard
2024-07-29 19:58:12 +00:00
Guillaume Gomez
63174792c2
Add possibility to focus on search input using keyboard
2024-07-29 21:55:36 +02:00
Guillaume Gomez
957a301083
Clean up clippy lints page JS source code
2024-07-29 16:49:56 +02:00
Spencer Will
6ae5fd958f
Remove event propagation calls. Adjust column spacing for filter panel to give more space for buttons on smaller screens.
2024-07-11 21:59:33 +02:00
Spencer Will
8bfd992953
Fix button styling on desktop and mobile views.
2024-07-11 21:58:51 +02:00
Spencer Will
d5e1acae82
Add Expand All and Collapse All
2024-07-11 21:58:47 +02:00
bors
bd75e44f6e
Auto merge of #12655 - SpencerAWill:Add-applicability-filter, r=xFrednet
...
Add applicability filter to lint list page
changelog: Add applicability filter to lint list website.
Fixes #7958
Desktop view:
Mobile view:
2024-06-18 09:25:16 +00:00
alexey semenyuk
3f9c5872b9
Filter from first typed symbol
2024-06-09 17:37:05 +05:00
Roddy Rappaport
1c9bf96b96
Fix website dash replacement #12718
...
Searching for a lint on the website will replace all of the dashes with
underscores instead of only the first one.
2024-04-26 21:58:08 +03:00
forcedebug
d55e5b4500
chore: fix some typos in comments
...
Signed-off-by: forcedebug <forcedebug@outlook.com>
2024-04-23 20:31:26 +08:00
Spencer Will
c8a7e6e5e6
Remove debug helper.
...
Co-authored-by: Fridtjof Stoldt <xFrednet@gmail.com>
2024-04-11 17:27:55 -04:00
Spencer Will
e4ce248af4
Complete filter functionality. Formatted upper filters to take more visual column space. Force filter wrapping with flex for small screens.
2024-04-09 15:00:12 -04:00
Spencer Will
0b43e03ca9
Add applicability visually
2024-04-04 20:02:42 -04:00
Hamir Mahal
3ef693c555
refactor: remove CSS variables that are now unused
2024-02-26 00:00:33 -08:00
Hamir Mahal
30ee7af2ca
style: sync GitHub Corner colors
2024-02-25 12:54:46 -08:00
Hamir Mahal
3168bcf949
refactor: use CSS vars for GitHub Corner colors
2023-12-10 17:28:26 -08:00
Hamir Mahal
bafc1a2660
fix: broken GitHub corner, with working dark/light
2023-12-10 15:44:34 -08:00
Alex Macleod
28655266b5
Fix changelog PR listings, create them automatically in fetch_prs_between.sh
2023-07-07 12:07:05 +00:00
Oli Scherer
514b6d04bb
Port clippy away from compiletest to ui_test
2023-06-26 14:13:07 +00:00
Philipp Krones
445f428a65
Fix version.py after deleting v* dirs
...
I missed updating this file.
I also ran black and isort over it.
2023-06-17 10:05:06 +02:00
Philipp Krones
60b7fde4ad
Adapt versions.html file to cleaned up gh-pages
2023-06-17 09:24:06 +02:00
Brian Hetro
ac279efdbc
Clippy Lints page - Do not show filters in URL if configured as default values
2023-06-03 00:04:19 -04:00
Brian Hetro
2e4ef8e72c
Clippy Lints page - Fix path watch triggering
2023-06-02 22:57:21 -04:00
Brian Hetro
f2e6a99a08
Clippy Lints page - Do not show groups in URL parameters if reset to defaults
2023-05-27 18:50:04 -04:00
Brian Hetro
a865d8432c
Clippy Lints page - Delay updating of the URL in response to search input
...
Update on blur, enter keypress, and a debounced delay of 1000 ms.
This keeps the URL updated, but not distractingly so.
2023-05-27 15:01:28 -04:00
Brian Hetro
7c1bca4be8
Handle back/forward when using URL parameters for filter states
2023-05-26 20:24:29 -04:00
Brian Hetro
5be2b27ed6
Use URL parameters for filter states
...
This retains the settings during browser navigation and allows sharing links with additional configuration.
2023-05-26 17:18:09 -04:00
Josh Soref
d2061faf9e
Spelling
...
* applying
* binding
* complex
* constituent
* demonstrate
* desugaring
* exact
* expression
* for
* functionalities
* github
* implementation
* infers
* multiple conflicting traits
* mutable
* necessarily
* nightly
* nonexistent
* optional
* parameter
* reassignments
* resources
* substitution
* suggestion
* that
* that array is
* using the
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
2023-04-23 10:52:27 -04:00
unvalley
178799f9c1
fix: change command order and remove waste condition
2022-10-10 18:00:15 +09:00
unvalley
1688368b33
feat: add Default to Lint groups
2022-10-09 23:35:52 +09:00
bors
4562dd0a8e
Auto merge of #9171 - Serial-ATA:highlight-js, r=xFrednet
...
Update highlight.js
changelog: none
With [highlight.js v11.6.0](https://github.com/highlightjs/highlight.js/releases/tag/11.6.0 ), the lint list can finally update from `9.5.0`. No more EOL warning in console! 😄
I also made it switch to the `github-dark` theme when using `coal`, instead of just always using the normal github light theme.
r? `@xFrednet`
2022-07-16 20:02:44 +00:00
Serial
08431cd17e
Update highlight.js
2022-07-13 14:04:20 -04:00
alexey semenyuk
9ef76e051b
Fixed comment
2022-07-03 19:03:51 +00:00
alexey semenyuk
65655d1e1e
Remove trailing spaces
2022-07-03 17:44:09 +03:00
alexey semenyuk
7350525ffb
Fix link
2022-07-01 18:31:57 +00:00
unvalley
4e7ed42867
Add description meta tag for lint list
2022-06-20 00:19:08 +09:00
Serial
fdadebe672
Add lint output to lint list
2022-06-06 20:04:56 -04:00
Serial
0fd03a85de
Strip clippy:: prefix from search strings
2022-05-22 15:24:47 -04:00
Serial
569505cebd
Auto-detect preferred colorscheme
2022-05-19 18:33:16 -04:00
Serial
e05da56d6b
textContent -> innerHTML
2022-05-18 15:37:05 -04:00
Serial
8aae26b227
innerHTML -> textContent
2022-05-18 15:01:02 -04:00
Serial
27fec01fa8
Add copy lint name button
2022-05-18 10:19:50 -04:00
