pop_and_push


Description:

public void pop_and_push (int nwindows, List popped_windows, StackableWindow win1)