@delete

Description:

public void @delete (int proxy_row)

Marks the row proxy_row to be deleted

Parameters:

this

a DataProxy object
proxy_row

A proxy row number