(err)
| 88 | return None |
| 89 | |
| 90 | def handle_unknown_error(err): |
| 91 | print(err) |
| 92 | msg = "An unhandled error was encountered while prettifying. See the console output for more information. Do you wish to file a bug?" |
| 93 | if ok_cancel_dialog(msg): |
| 94 | msg = "Please include detailed information in your bug report." |
| 95 | if ok_cancel_dialog(msg): |
| 96 | file_bug() |
| 97 | return None |
| 98 | |
| 99 | def handle_output_diagnostics(output): |
| 100 | if get_pref("print_diagnostics"): |
no test coverage detected