--- a/controls/SearchResultPanel.py	Tue Oct 03 16:31:31 2017 +0300
+++ b/controls/SearchResultPanel.py	Thu Oct 05 16:38:49 2017 +0300
@@ -333,7 +333,7 @@
         else:
             search_results = self.SearchResults.get(data, [])
         self.ParentWindow.ClearHighlights(SEARCH_RESULT_HIGHLIGHT)
-        for infos, start, end, text in search_results:
+        for infos, start, end, _text in search_results:
             self.ParentWindow.ShowSearchResult(infos, start, end)
 
     def OnSearchResultsTreeItemActivated(self, event):