interface listbox : widget { 
      
      listbox(char* p, char* options = "");
      listbox(widget* w, char* p, char* options = "");
      
      void insert(char* s);
      char* get(int d);             // entry with index d
      
      void singleselect();
  
    protected:
      install(binding*, char* args);
    };