mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
16,898 Commits 2 Branches 0 Tags 1.4 GiB
7c1bca4be8
Commit Graph

53 Commits

Author SHA1 Message Date
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.

![image](https://user-images.githubusercontent.com/19844144/144608479-cdd9de0b-f101-4d49-a135-0969efb01a11.png)

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
flip1995
02bf692169 Merge commit '98e2b9f25b6db4b2680a3d388456d9f95cb28344' into clippyup 2021-04-22 11:31:13 +02:00
flip1995
f6d1f368db Merge commit 'b40ea209e7f14c8193ddfc98143967b6a2f4f5c9' into clippyup 2021-04-08 17:50:13 +02:00
flip1995
ba4bf4f9c5 Merge commit '1fcc74cc9e03bc91eaa80ecf92976b0b14b3aeb6' into clippyup 2021-01-02 16:29:43 +01:00
flip1995
f03edfd7a1 Merge commit '4911ab124c481430672a3833b37075e6435ec34d' into clippyup 2020-12-20 17:19:49 +01:00
Martin Taibr
3f7d0c8d75 Use the same <title> as <h1> on gh-pages 2019-02-28 19:17:10 +01:00
Michael Howell
67f50661eb
Use normal HTML label semantics for filter 
I legitimately don't understand why you did it with ARIA instead.
 2019-02-16 13:16:50 -07:00
Matthias Krüger
f5929e0797 rust-lang-nursery/rust-clippy => rust-lang/rust-clippy 2018-11-22 04:40:09 +01:00
Park Juhyung
4c88362a9d Website: Make lint categories linkable 
Fixes #2973
 2018-10-15 22:36:35 +09:00
Ivan Tham
340500ede5
Fix typo for panel cursor 2018-08-28 10:24:21 +08:00
Ivan Tham
2c65e7c835
Improve website panel heading experience 2018-07-19 14:12:47 +08:00
Pascal Hertleif
c43a8921bb Docs: Reorganize layout a bit and show lint groups 2018-04-10 12:25:53 +02:00
Pascal Hertleif
0527dbaddf Update URL in rendered docs Github ribbon 
[ci skip]
 2017-08-03 21:21:59 +02:00
Pascal Hertleif
3e2bb3fd81 Actually scroll lint panels into view 
The trick to writing horrible hacks such as this is to recognize angular
as a technology stack that may be endearing to some as one can do easy
stuff quickly. But fundamentally, it is built on top of crazy shit.

Like: Yes, I just wrote a directive that for some reason automatically
has access to the scope of the repeated item, and fires an event each
time the last `np-repeat` item was seen (delayed by one render loop
cycle, of course). And – obviously – when defining the directive it is
in camelCase  but when using it in the template it has to by in
dash-case.

Great times.
 2016-08-28 21:11:02 +02:00
Pascal Hertleif
816cf56b89 Tweak HTML version of docs with scroll to lints 
Uses good old DOM events and wibbly-wobbly timeouts to wait for angular
to render this huge list of lints.

Fixes #1181
 2016-08-28 17:04:54 +02:00