Difference between revisions of "Widget:DevGuidelines"
From LINKS Community Center
Line 347: | Line 347: | ||
Promise.all([getGuidelines()]).then(data => { | Promise.all([getGuidelines()]).then(data => { | ||
const guidelines = data[0]; | const guidelines = data[0]; | ||
− | |||
let COVERS_THEMATIC_VALUES = [] | let COVERS_THEMATIC_VALUES = [] | ||
Line 476: | Line 475: | ||
const summary = document.getElementById('filter-summary'); | const summary = document.getElementById('filter-summary'); | ||
const filter = filters[0]; | const filter = filters[0]; | ||
− | |||
− | |||
// Set result counter | // Set result counter | ||
Line 560: | Line 557: | ||
) { filterPane.classList.remove('open'); } | ) { filterPane.classList.remove('open'); } | ||
}, { passive: true }); | }, { passive: true }); | ||
+ | |||
+ | // Fix bug where the table is truncated to zero height despite having visible rows. | ||
+ | tabulator.on('renderComplete', function() { | ||
+ | // TODO: Check the bugfix for a possible infinite event loop. | ||
+ | // This will help detect it, in case it happens. | ||
+ | console.log('Table height bugfix: render complete.'); | ||
+ | |||
+ | try { | ||
+ | const holderHeight = tabulator.rowManager.element.offsetHeight; | ||
+ | const tableHeight = tabulator.rowManager.tableElement.offsetHeight; | ||
+ | if ( | ||
+ | holderHeight < tableHeight || // table is truncated vertically (including zero-height) | ||
+ | holderHeight - tableHeight > window.screen.availHeight // table is more than a screen longer than content | ||
+ | ) { | ||
+ | tabulator.redraw(); | ||
+ | } | ||
+ | } catch (ignore) { } | ||
+ | }); | ||
+ | // End bugfix | ||
}); | }); | ||
Revision as of 11:28, 23 November 2022
Development version of the List of Guidelines.
Not ready for production!