dnrops
/
rust
mirror of https://github.com/rust-lang/rust.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

feat: add Default to Lint groups

This commit is contained in:
unvalley 2022-10-09 23:35:52 +09:00
parent 272bbfb857
commit 1688368b33
2 changed files with 21 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
util/gh-pages/index.html
View File

@ -448,6 +448,12 @@ Otherwise, have a great day =^.^=
None
</label>
</li>
<li class="checkbox">
<label ng-click="resetGroupsToDefault()">
<input type="checkbox" class="invisible" />
Default
</label>
</li>
<li role="separator" class="divider"></li>
<li class="checkbox" ng-repeat="(group, enabled) in groups">
<label class="text-capitalize">

17
util/gh-pages/script.js
View File

@ -114,7 +114,7 @@
return $scope.levels[lint.level];
};
var GROUPS_FILTER_DEFAULT = {
const GROUPS_FILTER_DEFAULT = {
cargo: true,
complexity: true,
correctness: true,
@ -125,8 +125,12 @@
restriction: true,
style: true,
suspicious: true,
}
$scope.groups = {
...GROUPS_FILTER_DEFAULT
};
$scope.groups = GROUPS_FILTER_DEFAULT;
const THEMES_DEFAULT = {
light: "Light",
rust: "Rust",
@ -164,6 +168,15 @@
}
};
$scope.resetGroupsToDefault = function () {
const groups = $scope.groups;
for (const [key, value] of Object.entries(GROUPS_FILTER_DEFAULT)) {
if (groups.hasOwnProperty(key)) {
groups[key] = value;
}
}
};
$scope.selectedValuesCount = function (obj) {
return Object.values(obj).filter(x => x).length;
}