Hide skolems in the visualisation

[alcinocunha]

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]

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

[grayswandyr]

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

[nmacedo]

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.