(view,regions)
| 558 | |
| 559 | |
| 560 | def region_to_text(view,regions): |
| 561 | text = [] |
| 562 | for region in regions: |
| 563 | text.append(view.substr(region)) |
| 564 | |
| 565 | text = sorted(list(set(text))) |
| 566 | return '\n'.join(text) |
| 567 | |
| 568 | |
| 569 | def get_console_text(view): |
nothing calls this directly
no outgoing calls
no test coverage detected