/* $Id$ */ #include extern MwWidget wWindow, wOpengl; extern MwWidget bPlay, bPause;