UI: Improve the Tools checkbox list style

This commit is contained in:
oobabooga 2026-03-12 16:53:49 -07:00
parent fdd8e5b1fd
commit 09d5e049d6
3 changed files with 103 additions and 2 deletions

View file

@ -303,6 +303,23 @@ for(i = 0; i < scrollbarElements.length; i++) {
scrollbarElements[i].style.resize = "none";
}
//------------------------------------------------
// Tools: inject "Refresh list" link into the label
//------------------------------------------------
const toolsTitle = document.querySelector("#tools-group > [data-testid='block-info']");
const toolsInfo = toolsTitle ? toolsTitle.nextElementSibling : null;
if (toolsInfo) {
const refreshLink = document.createElement("span");
refreshLink.textContent = " [Refresh list]";
refreshLink.className = "tools-refresh-link";
refreshLink.addEventListener("click", function(e) {
e.preventDefault();
document.querySelector("#tools-refresh-btn").click();
});
toolsInfo.appendChild(refreshLink);
}
//------------------------------------------------
// Remove some backgrounds
//------------------------------------------------