187 commits

Author	SHA1	Message	Date
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
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
Michael Wright	6035e050e8	Add includes to pre-commit hook	2021-09-29 05:46:43 +02:00