Guillaume Gomez
8a3d4e1a70
Replace rinja custom syntax with default syntax
...
Since all angular code was removed, there is no conflict anymore before angular and jinja2 syntaxes so we can just use plain jinja2 syntax.
2024-10-03 11:12:19 +02:00
Guillaume Gomez
d52b9aa564
Move theme handling JS into its own file to make theme being applied before first rendering
2024-10-03 11:12:19 +02:00
Guillaume Gomez
47f40d468a
Improve rendering speed by moving settings generation after theme rendering
2024-10-03 11:12:19 +02:00
Guillaume Gomez
e0b0851ba8
Support version filter URL parameters
2024-10-03 11:12:19 +02:00
Guillaume Gomez
4bb4cc6fcb
Add support for URL arguments
2024-10-03 11:12:19 +02:00
Guillaume Gomez
00c11df107
Add support for version filtering
2024-10-03 11:12:19 +02:00
Guillaume Gomez
59ccebe426
Support all filters except versions
2024-10-03 11:12:19 +02:00
Guillaume Gomez
aeb548a4f7
Put back interactions with settings menus
2024-10-03 11:12:11 +02:00
Guillaume Gomez
f2193c680c
Completely remove angular and generate parts of settings in JS
2024-09-22 22:30:45 +02:00
Guillaume Gomez
574e3dd922
Finish porting lint functionalities to vanilla JS
2024-09-22 22:30:45 +02:00
Guillaume Gomez
0055cebaa3
Replace search with vanilla JS
2024-09-22 22:30:45 +02:00
Guillaume Gomez
b522e7a944
Generate lint list in HTML directly instead of JS
2024-09-22 22:30:44 +02:00
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
