When I start gui from last revision, I see "ids" of facets, and it is impossible to switch off it.

Is it a bug?
Hi Anton, it will be fixed in my next commit, it is related to clumps I worked on lastly. Sorry, v


_______________________________________________
Mailing list: https://launchpad.net/~yade-dev
Post to     : [email protected]
Unsubscribe : https://launchpad.net/~yade-dev
More help   : https://help.launchpad.net/ListHelp

Reply via email to