Widget: GuidelinesList: Difference between revisions

Revision as of 11:50, 18 July 2023

Current version of the List of Guidelines.
Currently in use – do not modify!

@@ Line 782: / Line 782: @@
                  applyFilters();
              }, { passive: true });
-             document.getElementById('data-source-filter').addEventListener('change', event => {
+             // document.getElementById('data-source-filter').addEventListener('change', event => {
-                applyFilters();
+            //     applyFilters();
-             }, { passive: true });
+             // }, { passive: true });
              document.getElementById('tech-filter').addEventListener('change', event => {
                  applyFilters();