interface hypertext : widget {
  
      hypertext(char* p, char* options = "");
      hypertext(widget* w, char* p, char* options = "");
      
      void file(char* f);         // to read in hypertext file
    };