errorTrapPopIgnored

Removes an error trap pushed with [gdk.global.errorTrapPush], but without bothering to wait and see whether an error occurred. If an error arrives later asynchronously that was triggered while the trap was pushed, that error will be ignored.