undelete

Description:

public void undelete (int proxy_row)

Remove the "to be deleted" mark at the row proxy_row, if it existed.

Parameters:

this

a DataProxy object
proxy_row

A proxy row number