save_state


Description:

public void save_state (Window win, State state)

Stores ths state for a given window

Parameters:

this

the engine

win

target window

state

new state of the window