Index of /extensions/SemanticResultFormats/formats/Exhibit/exhibit/scripts/ui/widgets

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      logo.js                 2020-08-27 10:44  1.4K  
      resizable-div-widget.js 2020-08-27 10:44  1.9K  
      option-widget.js        2020-08-27 10:44  2.7K  
      collection-summary-w..> 2020-08-27 10:44  4.5K  
      legend-widget.js        2020-08-27 10:44  4.5K  
      legend-gradient-widg..> 2020-08-27 10:44  5.9K  
      toolbox-widget.js       2020-08-27 10:44  8.4K