Widget: UseCaseList: Difference between revisions

Revision as of 13:38, 23 June 2023

Current version of the List of Use Cases.
currently in use!

@@ Line 549: / Line 549: @@
                              document.getElementById('thematic-filter').closest('.filter-wrapper').classList.toggle('open');
+                        }
+                        const type = filter[TYPE_PROP];
+                        if (type) {
+                            Object.keys(type).forEach(tp => {
+                                const box = document.getElementById('type-filter-' + escapeAttr(tp));
+                                box.checked = !!type[tp];
+                                box.dispatchEvent(new Event('change', { bubbles: true }));
+                            });
+                            document.getElementById('type-filter').closest('.filter-wrapper').classList.toggle('open');
                          }