求问这是什么 web 库做的？

找到了一个网站，发现他有一个在线编辑器功能，如下图。

求问这是用什么库或者什么框架做的？

是 web 平台，网站的其他部分都是 Angular ，甚至还有一些 jQuery 。这个编辑器底层用的应该是 Leaflet 。

也不必非要是这个库，只要是工业领域的，能实现画图排线的就行。