delete_state


Description:

public void delete_state (Window win)

Drops the state of a given window (of its "App window").

Parameters:

this

the engine

win

target window