Hi, all! When I start gui from last revision, I see "ids" of facets, and it is impossible to switch off it.
Is it a bug? Thanks. Anton
_______________________________________________ Mailing list: https://launchpad.net/~yade-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~yade-dev More help : https://help.launchpad.net/ListHelp
