hints: don't process elements that already have a title

13d8d65e · Aarni Koskela · 5e4a0e3d · 13d8d65e
Commit 13d8d65e authored Apr 30, 2023 by Aarni Koskela
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 1 deletion

javascript/hints.js javascript/hints.js +3 -1

No files found.
--- a/javascript/hints.js
+++ b/javascript/hints.js
@@ -118,7 +118,9 @@ titles = {

 onUiUpdate(function(){
 	gradioApp().querySelectorAll('span, button, select, p').forEach(function(span){
-		tooltip = titles[span.textContent];
+		if (span.title) return;  // already has a title
+
+		let tooltip = titles[span.textContent];

 		if(!tooltip){
 		    tooltip = titles[span.value];