diff options
Diffstat (limited to 'sphinx/util/docutils.py')
-rw-r--r-- | sphinx/util/docutils.py | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/sphinx/util/docutils.py b/sphinx/util/docutils.py index bfaff758f..70baeb724 100644 --- a/sphinx/util/docutils.py +++ b/sphinx/util/docutils.py @@ -183,21 +183,6 @@ class LoggingReporter(Reporter): stream = WarningStream() Reporter.__init__(self, source, report_level, halt_level, stream, debug, error_handler=error_handler) - self.source_and_line = None # type: SphinxFileInput - - def set_source(self, source): - # type: (SphinxFileInput) -> None - self.source_and_line = source - - def system_message(self, *args, **kwargs): - # type: (Any, Any) -> Any - if kwargs.get('line') and isinstance(self.source_and_line, ViewList): - # replace source parameter if source is set - source, lineno = self.source_and_line.info(kwargs.get('line')) - kwargs['source'] = source - kwargs['line'] = lineno - - return Reporter.system_message(self, *args, **kwargs) def is_html5_writer_available(): |