prevent multiple updates on search

Author: jonian

devdocs_desktop.py

@@ -252,8 +252,8 @@ def on_search_tag_changed(self, label):
     self.header_filter.set_visible(bool(label))
 
   def on_search_input_changed(self, text):
-    self.search = text
-    self.header_search.set_text(text)
+    if text != self.search:
+      self.header_search.set_text(text)
 
   def on_cookies_changed(self, _manager):
     self.retrieve_cookies_values()