save_state


Description:

public void save_state (Window win, State state)