diff options
| -rw-r--r-- | util/gh-pages/index.html | 6 | ||||
| -rw-r--r-- | util/gh-pages/script.js | 17 |
2 files changed, 21 insertions, 2 deletions
diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html index c5d602ea303..8dc4513325d 100644 --- a/util/gh-pages/index.html +++ b/util/gh-pages/index.html @@ -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"> diff --git a/util/gh-pages/script.js b/util/gh-pages/script.js index 366e7c8843f..94a43d41379 100644 --- a/util/gh-pages/script.js +++ b/util/gh-pages/script.js @@ -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; } |