diff options
| author | Guilherme Felipe <guilhermefelipecgs@gmail.com> | 2016-12-24 20:39:16 -0200 |
|---|---|---|
| committer | Guilherme Felipe <guilhermefelipecgs@gmail.com> | 2016-12-24 20:39:16 -0200 |
| commit | faf6f865ddefa129945491796edcc23133f7e5e1 (patch) | |
| tree | 62dd7ebcc7e1e3d9632fb774153bac4cf266650f /tools/editor/code_editor.cpp | |
| parent | 83b82fc26788bd644bda2ff9477a2961b027a916 (diff) | |
Add new option to always open output on play
Diffstat (limited to 'tools/editor/code_editor.cpp')
0 files changed, 0 insertions, 0 deletions