ide: use correct IDE error recovery