highlight matches

bigtext.py

@@ -250,7 +250,10 @@ class InnerBigText(QWidget):
         for l in self.lines:
             self.update_longest_line(len(l.line()))
 
-        highlighters = self.model.highlights + [self.selection_highlight]
+        highlighters = self.model.highlights
+        if self.model.get_query_highlight():
+            highlighters = highlighters + [self.model.get_query_highlight()]
+        highlighters = highlighters + [self.selection_highlight]  # selection highlight should be last
 
         # draw hightlights first - some characters may overlap to the next line
         # by drawing the background hightlights first we prevent that the hightlight