It seems like an uncommon library, and I have to build it from source on most of my platforms, which is fairly inconvenient.
Is this dependency just so for adding simple GUI elements to some of the examples? It's only used in a handful of places in the source. It seems like this would make more sense as a separate dependent package. Or there are a number of pure JS libraries for configuration GUIs.
It seems like an uncommon library, and I have to build it from source on most of my platforms, which is fairly inconvenient.
Is this dependency just so for adding simple GUI elements to some of the examples? It's only used in a handful of places in the source. It seems like this would make more sense as a separate dependent package. Or there are a number of pure JS libraries for configuration GUIs.