error_trap_pop_ignored


Description:

public void error_trap_pop_ignored ()

Pops the error trap pushed by error_trap_push.

Does not block to see if an error occurred; merely records the range of requests to ignore errors for, and ignores those errors if they arrive asynchronously.

Parameters:

this

the display