Merge 32ebe0c71edfb67a4a9334f4ae755503ea3dba7f into 0b2246eee0eef7c3ffbc33cdc5fbf743a5ddc6fe

This commit is contained in:
jainex 2025-08-02 10:14:02 +05:30 committed by GitHub
commit b62c3219c9
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -7401,6 +7401,15 @@ function setupTableOfContents () {
var tableOfContents = new uiUtil.ToC(innerDoc);
var headings = tableOfContents.getHeadingObjects();
if(headings.length <= 1) {
var dropupElement = document.getElementById('dropup');
dropupElement.classList.remove('btn-default');
dropupElement.style.pointerEvents = 'none';
dropupElement.innerHTML = '<b>&nbsp;ToC&nbsp;</b>';
document.getElementById('ToCList').style.visibility = 'hidden';
return;
}
dropup.style.fontSize = ~~(params.relativeUIFontSize * 0.14) + 'px';
var dropupHtml = '';
headings.forEach(function (heading) {