def show_error_report(self, error_ref):
log.debug("show_error_report %r", error_ref.base)
if isinstance(self.ui.body, BaseView):
w = getattr(self.ui.body._w, 'stretchy', None)
if isinstance(w, ErrorReportStretchy):
# Don't show an error if already looking at one.
return
self.add_global_overlay(ErrorReportStretchy(self, error_ref))
def show_error_report(self, report):
log.debug("show_error_report %r", report.base)
w = getattr(self.ui.body._w, 'top_w', None)
if isinstance(w, ErrorReportStretchy):
# Don't show an error if already looking at one.
return
self.ui.body.show_stretchy_overlay(
ErrorReportStretchy(self, self.ui.body, report))