comparison: src/toolsets/algorithmtoolset.cpp
src/toolsets/algorithmtoolset.cpp
- changeset 1125
- d8f94e56d42e
- parent 1123
- 15e46ea3151f
- child 1139
- 51303023d651
equal
deleted
inserted
replaced
| 1124:bd151d5c42e6 | 1125:d8f94e56d42e |
|---|---|
| 38 #include "ui_editraw.h" | 38 #include "ui_editraw.h" |
| 39 #include "ui_flip.h" | 39 #include "ui_flip.h" |
| 40 #include "ui_addhistoryline.h" | 40 #include "ui_addhistoryline.h" |
| 41 #include "algorithmtoolset.h" | 41 #include "algorithmtoolset.h" |
| 42 | 42 |
| 43 ConfigOption (int RoundPositionPrecision = 3) | |
| 44 ConfigOption (int RoundMatrixPrecision = 4) | |
| 45 ConfigOption (int SplitLinesSegments = 5) | |
| 46 | |
| 47 AlgorithmToolset::AlgorithmToolset (MainWindow* parent) : | 43 AlgorithmToolset::AlgorithmToolset (MainWindow* parent) : |
| 48 Toolset (parent) | 44 Toolset (parent) |
| 49 { | 45 { |
| 50 } | 46 } |
| 51 | 47 |
