Esempio n. 1
0
 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;
 }