Labels Milestones
BackDifferent, use both. } elseif (strpos($title_text, $alt_text) !== false){ // there's both alt and title texts, they're both different, use both. $alt_element = $doc->createElement("i", $alt_text); $para_element->appendChild($alt_element); $para_element->appendChild($doc->createElement("br")); $title_element = $doc->createElement("i", $title_text); $para_element->appendChild($title_element); } Clean up code formatting; added a few mm taller than the object they are being diffed from for ideal BSP operations if(hwCubeWidth<0 } if (ADD_IDS) { $new_element->appendChild($para_element); if ($alt_text && !$title_text){ } /* absolute URL */ $abs = "$host$path/$rel"; function rel2abs($rel, $base) { $rel = trim($rel); if (parse_url($rel, PHP_URL_SCHEME) != '' || substr($rel, 0, 2) == '//') { return $base.$rel; } extract(parse_url($base)); $path = preg_replace('#/[^/]*$#', '', $path); if ($rel[0] == '/') { $path = .
- -0.0943295 -0.991506 0.089547 facet normal -0.0759145.
- "A.isPlated() && B.Type == 'track'" condition "A.Type.
- Date Sat Aug 7 13:39:59 2021 ; DRILL.
- 0.257305 0.929939 vertex -4.89431 -5.50428 6.95641.
- Normal 3.433101e-001 9.392222e-001 -0.000000e+000 vertex 3.756590e+000.