mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 13:39:36 +07:00
There were three problems: 1. There was `PyExecutionException` with an optional message which was intended to be displayed via dialog using a message as a title. It breaks an exception contract (code that isn't aware of this particular class should still be able to fetch info, and a message is usually blank). 2. Moreover, `ErrorSink` wasn't aware of it either and displayed it as a plain text. 3. `PyExecutionException` didn't distinguish between "process can't be started" and "process died with error code != 0". Those are different cases. This change: 1. Fixes `PyExecutionException` for 1 and 3. 2. Introduces API in `ErrorSink.kt` to display `PyExecutionException` GitOrigin-RevId: a8d835afb086b23c73ced15f243d2b27b59dcf82