Widget: DevGuidelines: Difference between revisions

Revision as of 09:54, 23 November 2022

Development version of the List of Guidelines.
Not ready for production!

@@ Line 450: / Line 450: @@
              tabulator.on('tableBuilt', () => {
-                 table.redraw(true);
+                 tabulator.redraw(true);
                  console.log('done')
                  table = tabulator;
@@ Line 458: / Line 458: @@
                  const summary = document.getElementById('filter-summary');
                  const filter = filters[0];
+                // Set result counter
+                document.getElementById('result-count').textContent = rows.length;
+                // Exit if filter object/type doesn't exist (happens after Tabulator's own filter reset).
+                if (!(filter && filter.type)) { summary.textContent = 'No filter. Showing all results.'; return; }
              });