/theia-ui-toolkit

A component library for building react-based widgets in Theia IDE.

No issues in this repository yet.