#include "menuDefs.h" using namespace Menu; const char* Menu::numericChars="0123456789."; result Menu::doNothing() {return proceed;} result Menu::doExit() {return quit;} action Menu::noAction(doNothing); //this is for idle (menu suspended) result Menu::inaction(menuOut& o,idleEvent) { trace(MENU_DEBUG_OUT<<"Menu::inaction"<