← Back to team overview

yade-dev team mailing list archive

Thread
Date

Facets and their id-numbers in GUI

To: yade-dev <yade-dev@xxxxxxxxxxxxxxxxxxx>
From: Anton Gladky <gladky.anton@xxxxxxxxx>
Date: Wed, 10 Nov 2010 13:36:06 +0100

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

Follow ups

Re: Facets and their id-numbers in GUI
From: Václav Šmilauer, 2010-11-11