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
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
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
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
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
xFrednet
d68408f4ad
Updated version label and style on Clippy's lint list
2021-11-10 19:48:32 +01:00
xFrednet
8565fc468e
Add clippy version to Clippy's lint list
2021-11-10 19:48:30 +01:00
xFrednet
322a768c77
Adapting the lint list to Clippy's new metadata format
...
Changes included:
- Minimum adaption to the new `lints.json` format
- Fixing filtering for the new `lints.json` format; hardcoding the
lint groups in the index
- Recreating the original doc styling for the new format
- Fixed sytax highlighting for rust,ignore code blocks
- Fixed markdown table extraction in the metadata collector and
fixed lint level output
- Adding the additional information row for lints
- Changed the website title to Clippy's lint list
- Flexing the website for mobile users
- Added (?) references for lint levels and groups
- Making deprecated lints look dead
- Removed JS code block language extraction in favor of a rust
implementation `rust-clippy#7352`
- Added the suspicious lint group to the lint list
- Remove trailing whitespaces from index.html
- Fix code highlighting
- Use default value if the docVersion is empty
Co-authored-by: Philipp Krones <hello@philkrones.com>
2021-07-28 15:03:55 +02:00
Alexander Melentyev
dab42cff02
Delete spaces
2021-06-21 12:11:37 +03:00
