Merge pull request 'Fix bug 565' (#187) from Bug565-Hui into Alpha-snapshot20240618

Reviewed-on: #187

app/static/js/word_operation.js

@@ -60,7 +60,13 @@ function delete_word(theWord) {
                 removeWord(theWord);
             } else {
                 $("#p_" + theWord).remove();
-            }    
+            }
+	    // remove highlighting for the word
+	    let highlightedWords = document.querySelectorAll('.highlighted');
+	    for (let x of highlightedWords) {
+		if (x.innerHTML == word)
+		    x.replaceWith(x.innerHTML);
+	    }
         }
     });
 }