internal reference nodes are always displayed

[maeder]

hets -v2 -o prf -g HasCASL/Real3D/SolidWorks/SWCommonPatterns.het

displays the internal reference node Nat_E1, Nat_E2, Int_E2, Int_E3, etc.

Maybe these should be hidden in the same way as they are if Basic/Numbers.casl is used directly.

If "unnamed nodes without open proofs" are hidden Int_E2 is not displayed in Basic/Numbers. Maybe it should not be displayed in SWCommonPatterns, too.

Do we have another shape than circle to show "internal node names"? These nodes simply cover too much vertical screen area. Internal node names are longer, so it would even make sense to swap display of more important named nodes to fatter circles and use ovals for internal names.

[raider]

In Numbers Int_E2 is hidden, because it is a internal node. In SWCommonPatterns is is a reference node. The rules for internal nodes can be applied to reference nodes to, but there is just a type for reference nodes, not for internal reference nodes, therefore no distinction between them is possible.

We have a few shapes Box, Circle, Ellipse, Rhombus and Triangle. Best for long names for vertical size are boxes I guess, and ellipses are better than circles. Circles and ellipses can be switched easily by switching pattern in GUI/GraphMenu.hs line 70 and 71.

[raider]

fixed by changeset:12742 and changeset:12744