feat: add Default to Lint groups

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;
             }