Library dropdown needed on editor page

PistoiaHELM / monomer.org

A repository to track the development of monomer.org site to host universal HELM interpreter and related monomer libraries.

MIT License

1 stars 0 forks source link

Library dropdown needed on editor page #81

Closed ClairePA closed 3 years ago

ClairePA commented 3 years ago

There should be a dropdown menu to select the library being used. Suggest that it is at the top left of the page so it is near the monomer palette but open to suggestions.

ClairePA commented 3 years ago

Confirmed fixed.