def injs(view): cursor = selection.point(view) return regions.injs(view).contains(cursor)
def after_injs(view): cursor = selection.point(view) injs = regions.injs(view) return cursor > injs.end()