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;
}
