|
@@ -798,7 +798,6 @@ |
|
|
path.setAttribute("stroke", "gray"); |
|
|
path.setAttribute("stroke", "gray"); |
|
|
path.setAttribute("marker-end", "url(#arrow1)"); |
|
|
path.setAttribute("marker-end", "url(#arrow1)"); |
|
|
} |
|
|
} |
|
|
/ |
|
|
|
|
|
line.appendChild(hi); |
|
|
line.appendChild(hi); |
|
|
line.appendChild(path); |
|
|
line.appendChild(path); |
|
|
line.style.cursor = "crosshair"; |
|
|
line.style.cursor = "crosshair"; |
|
|