jsketcher/web/app/sketcher/tools
2020-05-14 23:38:28 -07:00
..
arc.js stable ids, new saving format 2020-05-14 03:49:53 -07:00
bezier-curve.js stable ids, new saving format 2020-05-14 03:49:53 -07:00
circle.js stable ids, new saving format 2020-05-14 03:49:53 -07:00
dim.js stable ids, new saving format 2020-05-14 03:49:53 -07:00
drag.js ground objects concept 2020-05-14 22:50:06 -07:00
edit-tools-map.js angular measure tool 2020-04-02 02:14:33 -07:00
ellipse.js stable ids, new saving format 2020-05-14 03:49:53 -07:00
fillet.js stable ids, new saving format 2020-05-14 03:49:53 -07:00
loop-pick.js stable ids, new saving format 2020-05-14 03:49:53 -07:00
manager.js refactor App2d class(terminal and property view), remove legacy UI toolkit and its helpers 2020-03-22 17:33:06 -07:00
offset.js stable ids, new saving format 2020-05-14 03:49:53 -07:00
origin.js fix snapping 2016-11-28 21:24:38 -08:00
pan.js sketcher tuning 2020-03-02 20:22:33 -08:00
point.js Bug: Can not delete sketch objects after creation until sketch is closed and reopened. #30 2016-12-21 18:23:16 -08:00
rectangle.js fix rectangle tool jittering 2020-05-14 23:38:28 -07:00
segment.js sketcher tuning 2020-03-02 20:22:33 -08:00
tool.js stable ids, new saving format 2020-05-14 03:49:53 -07:00