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 |