about summary refs log tree commit diff
path: root/util
AgeCommit message (Collapse)AuthorLines
2025-01-30Fix expand/collapse all on site, make highlightjs lazierAlex Macleod-46/+81
2025-01-17fix version search in the websitelapla-cogito-2/+2
2024-12-05fix: various typosBD103-7/+7
2024-11-02Auto merge of #13585 - GuillaumeGomez:no-js, r=Alexendoobors-3/+22
Improve display of clippy lints page when JS is disabled There is no point in displaying the settings menu and the filters if JS is disabled. So in this case, this PR simply hides it: ![image](https://github.com/user-attachments/assets/e96039a9-e698-49b7-bf2b-70e78442b305) For the theme handling though, I need to send a fix to mdBook first. But once done, it'll look as expected (dark if system is in dark mode). changelog: Improve clippy lints page display when JS is disabled. r? `@Alexendoo`
2024-11-01Handle noscript style with "js" class on `<html>`.Guillaume Gomez-4/+9
2024-11-01Improve theme handling when JS is disabledGuillaume Gomez-1/+11
2024-11-01Improve display of clippy lints page when JS is disabledGuillaume Gomez-2/+6
2024-10-23Open lint when clicking on its anchorGuillaume Gomez-1/+11
2024-10-22Fix invalid lint ID filteringGuillaume Gomez-1/+1
2024-10-22Fix not working lint anchorGuillaume Gomez-8/+1
2024-10-20docs: remove stray commaRené Kijewski-1/+1
2024-10-18Auto merge of #13539 - GuillaumeGomez:allow-no-js, r=Alexendoobors-26/+44
Allow to go through clippy lints page without javascript Fixes #13536. This is the follow-up of https://github.com/rust-lang/rust-clippy/pull/13269. This PR makes it possible to expand/collapse lints (individually) without JS. To achieve this result, there are two ways: 1. Use `details` and `summary` tags. Problem with this approach is that the web browser search may open the `details` tags automatically if content matching it is inside. From a previous discussion with `@Alexendoo,` it seems to not be a desired behaviour. 2. Use a little trick where you use a `label` and a checkbox where the checkbox is in fact hidden. Then it's just a matter of CSS. r? `@Alexendoo` changelog: Allow to go through clippy lints page without JS
2024-10-18Allow to go through clippy lints page without javascriptGuillaume Gomez-26/+44
2024-10-15Fix link to sourceAnastasis Georgoulas-1/+1
The URLs contained an extra `clippy_lints`, which resulted in broken links. Links are generated using each lint's `id_location`, which already contains the full path inside the repository.
2024-10-11Auto merge of #13269 - GuillaumeGomez:rewrite-lints-page, r=Alexendoobors-888/+831
Rewrite lints page This PR has multiple goals: * Make lints page to work without needing a web server by removing the json file. * Prepare the field to also make the page work with JS (not done in this PR but should be straightforward). * Remove angular dependency. r? `@Alexendoo` changelog: make lint page work without web server
2024-10-03Greatly reduce generated HTML page sizeGuillaume Gomez-213/+205
2024-10-03Run syntax highlighting only when neededGuillaume Gomez-3/+13
2024-10-03Move inlined CSS into `style.css`Guillaume Gomez-32/+31
2024-10-03Replace rinja custom syntax with default syntaxGuillaume Gomez-12/+12
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-03Move theme handling JS into its own file to make theme being applied before ↵Guillaume Gomez-72/+71
first rendering
2024-10-03Improve rendering speed by moving settings generation after theme renderingGuillaume Gomez-25/+28
2024-10-03Support version filter URL parametersGuillaume Gomez-0/+17
2024-10-03Add support for URL argumentsGuillaume Gomez-9/+115
2024-10-03Add support for version filteringGuillaume Gomez-8/+50
2024-10-03Support all filters except versionsGuillaume Gomez-51/+143
2024-10-03Put back interactions with settings menusGuillaume Gomez-86/+91
2024-09-24Remove unused import from Clippy versions.py filePhilipp Krones-1/+0
2024-09-24Merge commit '7901289135257ca0fbed3a5522526f95b0f5edba' into ↵Philipp Krones-78/+84
clippy-subtree-update
2024-09-22Completely remove angular and generate parts of settings in JSGuillaume Gomez-447/+102
2024-09-22Finish porting lint functionalities to vanilla JSGuillaume Gomez-113/+140
2024-09-22Replace search with vanilla JSGuillaume Gomez-55/+42
2024-09-22Generate lint list in HTML directly instead of JSGuillaume Gomez-101/+110
2024-09-18Generate versions HTML directlyAlex Macleod-78/+84
2024-08-24Merge commit '0f8eabd6231366bfc1bb1464601297c2d48f8f68' into clippyupJason Newcomb-414/+477
2024-08-12Replace the metadata collector with testsAlex Macleod-8/+7
2024-08-11Auto merge of #13187 - GuillaumeGomez:settings-menu, r=Alexendoobors-406/+470
Add settings menu on clippy lints page It looks like this (when the menu is expanded): ![Screenshot from 2024-08-06 21-36-41](https://github.com/user-attachments/assets/c464aef3-b21e-48cc-8e3a-c32a134f995e) 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-11Move themes directly into HTMLGuillaume Gomez-12/+7
2024-08-11Unify theme and settings menusGuillaume Gomez-98/+72
2024-08-08Merge commit 'cb806113e0f83a8f9b47d35b453b676543bcc40e' into ↵Philipp Krones-28/+50
clippy-subtree-update
2024-08-05Store deprecated lints as an array of tuples.Jason Newcomb-1/+1
Remove legacy deprecations. Remove "View Source" link for deprecated lints.
2024-07-30Add new settings menuGuillaume Gomez-15/+110
2024-07-30Move style into its fileGuillaume Gomez-365/+365
2024-07-29Auto merge of #13178 - GuillaumeGomez:clippy-lints-page-improvement, r=Alexendoobors-1/+27
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-29Add possibility to focus on search input using keyboardGuillaume Gomez-1/+27
2024-07-29Clean up clippy lints page JS source codeGuillaume Gomez-26/+22
2024-07-25Merge commit '37f4fbb92913586b73a35772efd00eccd1cbbe13' into ↵Philipp Krones-9/+37
clippy-subtree-update
2024-07-11Remove event propagation calls. Adjust column spacing for filter panel to ↵Spencer Will-4/+4
give more space for buttons on smaller screens.
2024-07-11Fix button styling on desktop and mobile views.Spencer Will-1/+19
2024-07-11Add Expand All and Collapse AllSpencer Will-7/+17
2024-06-27Merge commit '68a799aea9b65e2444fbecfe32217ce7d5a3604f' into ↵Philipp Krones-4/+63
clippy-subtree-update