- destroy_obj: when deleting width expressions, check that they're actually

non-NULL
- gui.html: added more details on selecting



git-svn-id: http://svn.openmoko.org/trunk/eda/fped@5542 99fdad57-331a-0410-800a-d7fa5415bdb3

delete.c

@@ -211,12 +211,15 @@ static void destroy_obj(struct obj *obj)
 		free(obj->u.pad.name);
 		break;
 	case ot_line:
+		if (obj->u.line.width)
 			free_expr(obj->u.line.width);
 		break;
 	case ot_rect:
+		if (obj->u.rect.width)
 			free_expr(obj->u.rect.width);
 		break;
 	case ot_arc:
+		if (obj->u.arc.width)
 			free_expr(obj->u.arc.width);
 		break;
 	case ot_meas:

gui.html

@@ -143,6 +143,22 @@ Tools are used to add new elements and to manipulate existing ones.
   <DD> The pointer. This is the default tool. The pointer is used to
     select items and do move points of the selected item.
     <P>
+    Clicking on an item selects it. If items overlap, the one with the
+    highest priority is selected. The priority is based on how difficult
+    it usually is to select an item, with frame references having a low
+    priority, pads, circles, arcs, rectangles, measurements, and lines
+    having increasingly higher priorities. There are a few special cases:
+    <UL>
+      <LI> The circle at the end of a vector has the highest priority
+	while its line has the lowest priority.
+      <LI> To select a frame reference, click on the L-shaped upper left
+        corner.
+      <LI> To select a measurement, click on the line with the text, not
+	the (hypothetical) line connecting the points being measured.
+    </UL>
+    If multiple items are under the mouse pointer, repeatedly clicking
+    iterates through them.
+    <P>
     To move points, select the item, then move the mouse pointer over
     the point to move. A red circle will appear under the mouse pointer.
     Then drag the point to its new location and release the mouse button.