(view, edit, text)
| 574 | |
| 575 | |
| 576 | def panel_print(view, edit, text): |
| 577 | view.window().destroy_output_panel('exec') |
| 578 | panel = view.window().create_output_panel('exec') |
| 579 | view.window().run_command('show_panel', {'panel': 'output.exec'}) |
| 580 | panel.run_command('insert', {'characters': text}) |
| 581 | |
| 582 | |
| 583 | def new_view(view, edit, text, syntax='', filename=''): |