Esempio n. 1
0
 def _highlighter(self):
     if self.__highlighter is None:
         self.__highlighter = CodeHighlighter(self.__settings,
                                              self._current_error_in_view)
     return self.__highlighter