public void restart() { super.restart(); window[0].moveto(0, 0); window[1].moveto(0, 0); window[0].resize(screen.getchars(), screen.getlines()); window[1].resize(0, 0); window[0].movecursor(0, window[0].getHeight() - 1); }
protected short op_restart() { zm.restart(); return ZFALSE; }