search

google-code-export / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse
0 stars 0 forks source link

"Due to your theme settings, every atom is hidden" message does not give enough info. #64

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Create a simple model and clicking Run gives the message:

"Due to your theme settings, every atom is hidden. Please click Theme and
adjust your settings".

This is fine except it doesn't say what needs to be changed. I've looked
through the theme settings and all 'hide' options are off.  Better still
would be default theme which doesn't need configuration upon installation.

This is w/ 4.1.7

Original issue reported on code.google.com by ethan.au...@gmail.com on 29 Jul 2008 at 5:34

GoogleCodeExporter commented 9 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

GoogleCodeExporter commented 9 years ago

Original comment by daniel.l...@gmail.com on 17 Apr 2012 at 6:44