From d5e1acae82b68e6437e8ed4972328f8e6d6dc7ea Mon Sep 17 00:00:00 2001 From: Spencer Will Date: Thu, 4 Apr 2024 17:47:05 -0400 Subject: [PATCH 1/3] Add Expand All and Collapse All --- util/gh-pages/index.html | 18 +++++++++++------- util/gh-pages/script.js | 6 ++++++ 2 files changed, 17 insertions(+), 7 deletions(-) diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html index 8de36fc4005..d4cec81bcd9 100644 --- a/util/gh-pages/index.html +++ b/util/gh-pages/index.html @@ -57,20 +57,17 @@ Otherwise, have a great day =^.^= background-color: var(--theme-hover); } - div.panel div.panel-body button.dropdown-toggle { + div.panel div.panel-body button { background: var(--searchbar-bg); color: var(--searchbar-fg); border-color: var(--theme-popup-border); } - div.panel div.panel-body button.dropdown-toggle:hover { + div.panel div.panel-body button:hover { box-shadow: 0 0 3px var(--searchbar-shadow-color); } - div.panel div.panel-body .open button.dropdown-toggle { - background: var(--searchbar-bg); - color: var(--searchbar-fg); - border-color: var(--theme-popup-border); + div.panel div.panel-body button.open { filter: brightness(90%); } @@ -96,7 +93,6 @@ Otherwise, have a great day =^.^= @media (min-width: 992px) { .search-control { margin-top: 0; - float: right; } } @@ -537,6 +533,14 @@ Otherwise, have a great day =^.^= +
+ + +
diff --git a/util/gh-pages/script.js b/util/gh-pages/script.js index 921bb0376f6..661f80a6d34 100644 --- a/util/gh-pages/script.js +++ b/util/gh-pages/script.js @@ -469,6 +469,12 @@ $location.path(lint.id); }; + $scope.toggleExpansion = function(lints, isExpanded) { + lints.forEach(lint => { + $scope.open[lint.id] = isExpanded; + }); + } + $scope.copyToClipboard = function (lint) { const clipboard = document.getElementById("clipboard-" + lint.id); if (clipboard) { From 8bfd992953937be4ba71833a5e64687b900701fb Mon Sep 17 00:00:00 2001 From: Spencer Will Date: Tue, 9 Apr 2024 15:32:46 -0400 Subject: [PATCH 2/3] Fix button styling on desktop and mobile views. --- util/gh-pages/index.html | 20 +++++++++++++++++++- 1 file changed, 19 insertions(+), 1 deletion(-) diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html index d4cec81bcd9..9c82dafb230 100644 --- a/util/gh-pages/index.html +++ b/util/gh-pages/index.html @@ -357,6 +357,24 @@ Otherwise, have a great day =^.^= opacity: 30%; } + .expansion-group { + margin-top: 15px; + padding: 0px 8px; + display: flex; + flex-wrap: nowrap; + } + + @media (min-width: 992px) { + .expansion-group { + margin-top: 0; + padding: 0px 15px; + } + } + + .expansion-control { + width: 50%; + } + :not(pre) > code { color: var(--inline-code-color); background-color: var(--inline-code-bg); @@ -533,7 +551,7 @@ Otherwise, have a great day =^.^= -
+
From 6ae5fd958fdcef7232c7b349370a6fa58600ef4c Mon Sep 17 00:00:00 2001 From: Spencer Will Date: Sun, 7 Jul 2024 18:53:53 -0400 Subject: [PATCH 3/3] Remove event propagation calls. Adjust column spacing for filter panel to give more space for buttons on smaller screens. --- util/gh-pages/index.html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html index 9c82dafb230..0c0f28e4fbd 100644 --- a/util/gh-pages/index.html +++ b/util/gh-pages/index.html @@ -419,7 +419,7 @@ Otherwise, have a great day =^.^=
-
+
-
+
- -