Fixed #27, #14, added some rounded corners

This commit is contained in:
2023-02-14 12:49:56 +01:00
parent ce02db8f6d
commit 65ad318a5c
2 changed files with 13 additions and 6 deletions

View File

@@ -3198,11 +3198,15 @@
tool.addEventListener('change', event => {
//Check if script was called from textarea or selector
var targetID = event.target.getAttribute('id');
if (targetID !== "processors" && targetID !== "versions") {
return;
if (targetID == "processors") {
processTooltip();
processVersionSelector();
}
processTooltip();
processVersionSelector();
else if (targetID == "versions") {
processTooltip();
}
})
tool.addEventListener('click', event => {
//Check if script was called from textarea or selector