code: def toggle_highlighting(self, state):
          
          if self.editor is not None:
              if state:
                  self.highlight_matches()
              else:
                  self.clear_matches()
docs: Toggle the 'highlight all results' feature