← Back to team overview

yade-dev team mailing list archive

Thread
Date

Re: Facets and their id-numbers in GUI

To: yade-dev <yade-dev@xxxxxxxxxxxxxxxxxxx>
From: Václav Šmilauer <eu@xxxxxxxx>
Date: Thu, 11 Nov 2010 13:39:49 +0100
In-reply-to: <AANLkTimua-Epbzp5ALsYv6oP7rkVM5tCtsXgPV9KmByX@mail.gmail.com>
User-agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.1.19) Gecko/20090105 Lightning/0.8 Thunderbird/2.0.0.19 Mnenhy/0.7.6.666

When I start gui from last revision, I see "ids" of facets, and it isimpossible to switch off it.
Is it a bug?

Hi Anton, it will be fixed in my next commit, it is related to clumps Iworked on lastly. Sorry, v

References

Facets and their id-numbers in GUI
From: Anton Gladky, 2010-11-10