Hide skolems in the visualisation

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

Other

694 stars 123 forks source link

Hide skolems in the visualisation #242

Closed alcinocunha closed 4 weeks ago

alcinocunha commented 3 months ago

It would be nice to have an option to hide all skolems from the visualisation, because some times they can be very annoying and removing them has to be done by hiding one by one, which is very cumbersome.

pkriens commented 3 months ago

picture? not clear which view you have the problem with?

grayswandyr commented 3 months ago

All $... labels in the Visualizer for instance.

nmacedo commented 1 month ago

I implemented this option in the theme general settings, shown below. Basically, if you tick "hide skolems", it hides all those elements from the graph and ignores the associated theme customizations.

By the way, I was surprised to find out that this is NOT what the "hide private" option does: if an atom belongs to a private subset, rather than hiding the label of that subset, it removes the atom from the graph.