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
Guillaume Gomez
63174792c2
Add possibility to focus on search input using keyboard
2024-07-29 21:55:36 +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
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
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
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
Serial
08431cd17e
Update highlight.js
2022-07-13 14:04:20 -04: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
27fec01fa8
Add copy lint name button
2022-05-18 10:19:50 -04:00
Serial
f112e4d445
Improve appearance on smaller screens
2022-05-15 12:43:35 -04:00
Serial
b81d703970
Use early returns
2022-05-15 11:30:00 -04:00
Serial
a30587e0fe
Switch input to type=number; Separate version validation out of byVersion
2022-05-14 20:08:10 -04:00
Serial
4ed52bf13e
Use CamelCase; Fix filter ranges
2022-05-05 18:27:56 -04:00
Serial
dd7bc86f22
Change input placeholder
2022-05-04 20:43:08 -04:00
Serial
2c70af3cd5
Only require minor version
2022-05-03 18:12:31 -04:00
Serial
9173780568
Make filters implicit; Update symbols
2022-04-29 19:57:16 -04:00
Serial
06cc1abbb1
Move js out to its own file
2022-04-26 18:22:37 -04:00
Serial
bdc8961659
Add version filtering option to the lint list
2022-04-26 18:21:22 -04:00
bors
8ae74da63b
Auto merge of #8070 - CrazyRoka:update-gh-pages-checkbox-styles, r=camsteffen
...
Improve styles of filtering options for Clippy's lint list
Partially solves #7958
Updated styles for filtering options. It now uses dropdown menus.
changelog: none
2022-03-10 03:08:34 +00:00
Rob Ede
a8e1352d78
Autofocus search input
2022-01-25 00:15:11 +00:00
Andrew Archibald
65c072d7e6
Update markdown-it version
2022-01-13 20:01:56 -07:00
CrazyRoka
296af08b3c
Removed unused styles and labels in dropdowns
2021-12-16 19:01:31 +02:00
CrazyRoka
4161a67c1b
Added dropdown directive to theme-selector
2021-12-16 18:57:59 +02:00
CrazyRoka
bb531320eb
Improved performance by adding ng-if
2021-12-16 18:57:59 +02:00
CrazyRoka
dcfb756b97
Fixed overlapping "Fork me" logo
2021-12-16 18:57:59 +02:00
CrazyRoka
76e95e28c2
Fixed theme selector and repositioned search input
2021-12-16 18:57:59 +02:00
CrazyRoka
e895d2b52a
Fixed error in Firefox and selected button style
2021-12-16 18:57:59 +02:00
CrazyRoka
f71039ae69
Fixed styles on all themes
2021-12-16 18:57:59 +02:00
CrazyRoka
cb113d3a41
Updated badge
2021-12-16 18:57:59 +02:00
CrazyRoka
0f655db00d
Added badge to display selected elemenets count
2021-12-16 18:57:59 +02:00
CrazyRoka
a71f1997d8
Updated styles for checkboxes
2021-12-16 18:57:59 +02:00
xFrednet
17b747857f
Add margin after lists on Clippy's lint list
2021-12-03 20:24:23 +01:00
xFrednet
8c45fd88d0
New internal lint to make clippy::version attribute mandatory
2021-11-11 13:03:30 +01:00
