diff options
| author | Ignacio Etcheverry <ignalfonsore@gmail.com> | 2020-06-25 23:28:51 +0200 |
|---|---|---|
| committer | Ignacio Etcheverry <ignalfonsore@gmail.com> | 2020-06-25 23:28:53 +0200 |
| commit | f87ae395ee5dc35c44df2225d3c2ce605cae9099 (patch) | |
| tree | 566a6ad1e389b19fd51ab3df6263cebba792de3a /editor/code_editor.h | |
| parent | 23f7f86914da0ee1423d49db7e549a5f50fb3cdc (diff) | |
Mono/C#: Fix unhandled exception not being printed
For some reason `mono_unhandled_exception` is not
printing the exception as its comment claims.
Use `mono_print_unhandled_exception` instead.
Diffstat (limited to 'editor/code_editor.h')
0 files changed, 0 insertions, 0 deletions