app/static/js/word_operation.js

@@ -56,7 +56,8 @@ function delete_word(theWord) {
                 removeWord(theWord);
             } else {
                 $("#p_" + theWord).remove();
-            }    
+            }
+
         }
     });
 }
@@ -116,6 +117,7 @@ function removeWord(word) {
     if (element_to_remove !== null) {
         element_to_remove.remove();
     }
+    page_reload();
 }
 
 function renderWord(word) {
@@ -171,4 +173,8 @@ function compareWord(first, second) {
         return first.word < second.word ? -1 : 1;
     }
     return 0;
+}
+//通过在单词本删除单词后加入刷新页面功能，可以使文本高亮实时取消
+function page_reload(){
+   location.reload();
 }

app/templates/userpage_get.html

@@ -124,7 +124,7 @@
     <form method="post" action="/{{ username }}/userpage">
         <textarea name="content" id="selected-words" rows="10" cols="120"></textarea><br/>
         <button class="btn btn-primary btn-lg" type="submit" onclick="Reader.stopRead()">把生词加入我的生词库</button>
-        <button class="btn btn-primary btn-lg" type="reset"  onclick="clearSelectedWords()">清除</button>
+        <button class="btn btn-primary btn-lg" type="reset"  onclick="clearSelectedWords();page_reload()">清除</button>
     </form>
     {% if session.get['thisWord'] %}
         <script type="text/javascript">