|
tools
|
implement pipet
|
2017-11-30 10:43:07 +01:00 |
|
EraserPointer.js
|
move interface to core
|
2017-11-15 15:13:49 +01:00 |
|
EventGroup.js
|
move interface to core
|
2017-11-15 15:13:49 +01:00 |
|
Grid.js
|
move interface to core
|
2017-11-15 15:13:49 +01:00 |
|
ImageShape.js
|
add shape and image shape
|
2017-11-14 17:42:08 +01:00 |
|
Shape.js
|
unfilled objects can now be unsolid
|
2017-11-28 15:47:26 +01:00 |
|
ShapesManager.js
|
fix 2d holes rendering
|
2017-11-22 12:35:00 +01:00 |
|
texts.js
|
move interface to core
|
2017-11-15 15:13:49 +01:00 |
|
TolerancePointer.js
|
move interface to core
|
2017-11-15 15:13:49 +01:00 |
