(view)
| 567 | |
| 568 | |
| 569 | def get_console_text(view): |
| 570 | panel = view.window().find_output_panel('exec') |
| 571 | text = panel.substr(Region(0, panel.size())) |
| 572 | text = text.replace('Input Text:\n','') |
| 573 | return text |
| 574 | |
| 575 | |
| 576 | def panel_print(view, edit, text): |