ide: use correct IDE error recovery
This page took 0.306205 seconds and 4 git commands to generate.