Java-Geometry-Expert
Java-Geometry-Expert copied to clipboard
Distinguish between trivial and non-trivial features
If there are several features found in the list of fix objects, it would be useful to make a difference between trivial and non-trivial properties. For example, if we defined two lines to be perpendicular, then it is a trivial thing that they are orthogonal, so this fact should be either hidden in the list, or by highlighted with a different color.