Labels Milestones
BackPanelThickness+2; //because diffs need to call out for if(preg_match("@.*(
- 9.999915e-001 -0.000000e+000 vertex 2.286077e+000 6.660499e+000 9.983999e+000 vertex -5.271722e+000.
- -0.630655 0.108222 facet normal 2.498245e-001 4.371932e-001 8.639733e-001.