interface menubutton : button { 
      
      menubutton(char* p, char* options = "");
      menubutton(widget* w, char* p, char* options = "");
      
      void menu(char* s);                    // to attach a menu
      void menu(class menu* m);
    };