Closed GoogleCodeExporter closed 8 years ago
Hi all:
Another option that people often overlook is the
"hide unconnected" option.
By default, every instance contains at least
the 16 integer atoms -8..+7, but they are rarely interesting,
so the default theme says "Int" shall have "hide unconnected = yes".
That means unless you have a field value that goes from
some atom to an Int, then all Int atoms will be hidden by default.
To show all atoms in this case, you would need to uncheck
the "hide unconnected" option.
Sincerely,
Felix Chang
Original comment by felix2...@gmail.com
on 30 Jul 2008 at 12:32
Original comment by daniel.l...@gmail.com
on 17 Apr 2012 at 6:44
Original issue reported on code.google.com by
ethan.au...@gmail.com
on 29 Jul 2008 at 5:34