Markus Lampert
|
aec6cfe239
|
Only set properties if they have actually changed (the onChanged/updateData callbacks are called synchronously).
|
2017-08-22 10:16:58 -03:00 |
|
Markus Lampert
|
26b9c67da6
|
Split DrillingGui into its own file and base it off of PathOpGui.
|
2017-08-22 10:16:58 -03:00 |
|
Markus Lampert
|
f32ef59463
|
Renamed PathAreaOpGui to PathOpGui - there's nothing Area specific in there.
|
2017-08-22 10:16:58 -03:00 |
|
Markus Lampert
|
0d4bc71a65
|
Moved base functionality into PathOp and renamed AreaOp interface to areaOp...
|
2017-08-22 10:16:58 -03:00 |
|
Markus Lampert
|
73b15db3e7
|
Consolidated UI for all profile ops.
|
2017-08-22 10:16:57 -03:00 |
|