diagnostic.py 文件源码

def update_diagnostics_regions(view: sublime.View, diagnostics: 'List[Diagnostic]', severity: int):
    region_name = "lsp_" + format_severity(severity)
    if show_diagnostics_phantoms and not view.is_dirty():
        regions = None
    else:
        regions = list(diagnostic.range.to_region(view) for diagnostic in diagnostics
                       if diagnostic.severity == severity)
    if regions:
        scope_name = diagnostic_severity_scopes[severity]
        view.add_regions(region_name, regions, scope_name, "dot",
                         sublime.DRAW_SQUIGGLY_UNDERLINE | UNDERLINE_FLAGS)
    else:
        view.erase_regions(region_name)