Changeset 12740

Timestamp:

27.10.2009 14:28:58 (4 weeks ago)

Author:

maeder

Message:

changed circles for internal nodes to ellipses

Files:

• trunk/GUI/GraphMenu.hs (modified) (1 diff)

trunk/GUI/GraphMenu.hs

@@ -67 +67 @@
     )
   . (\ n -> case nonRefType n of -- Add shape
-      RefType                               -> (n, Box)
-      NonRefType { isInternalSpec = True }  -> (n, Circle)
-      NonRefType { isInternalSpec = False } -> (n, Ellipse)
+      RefType -> (n, Box)
+      NonRefType {} -> (n, Ellipse)
     )
   ) listDGNodeTypes