jsketcher/web/app/sketcher/tools
2020-07-19 15:50:33 -07:00
..
arc.js organizing math module - extracting distance 2020-07-19 12:52:58 -07:00
bezier-curve.js organizing math module - move common geometry to euclidean module 2020-07-19 15:50:33 -07:00
circle.js organizing math module - extracting distance 2020-07-19 12:52:58 -07:00
dim.js organizing math module - extracting distance 2020-07-19 12:52:58 -07:00
drag.js organizing math module - extracting distance 2020-07-19 12:52:58 -07:00
edit-tools-map.js ellipse rework 2020-07-18 13:09:47 -07:00
ellipse-edit.js ellipse rework 2020-07-18 13:09:47 -07:00
ellipse.js ellipse rework 2020-07-18 13:09:47 -07:00
fillet.js organizing math module - extracting distance 2020-07-19 12:52:58 -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 organizing math module - move common geometry to euclidean module 2020-07-19 15:50:33 -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