Beispiel #1
0
            def run():
                regions = write_highlight.regions(view, highlights)
                module_region = [ui_regions.module_name(view)] if module_wrong else []
                flag_info = zip(flags(), [regions.incorrect, regions.missing, regions.unused, module_region])

                def highlight_flag(x):
                    if len(x[1]) > 0:
                        write_highlight.highlight(view, x[1], x[0]),
                    else:
                        write_highlight.remove_highlight(view, x[0])

                map(highlight_flag, flag_info)
Beispiel #2
0
def module_name(view):
    region = regions.module_name(view)
    return _region(view, region)