protected short op_set_window() { zm.current_window.flush(); // System.err.println("set_window " + operands[0]); zm.current_window = zm.window[operands[0]]; if (operands[0] == UPPER_WINDOW) zm.current_window.movecursor(0, 0); return ZFALSE; }