yade-dev team mailing list archive

[Janek Kozicki <janek_listy@xxxxx>]

Janek Kozicki said:     (by the date of Mon, 26 Jan 2009 21:02:35 +0100)

> perhaps it will help if you delete ~/.yade-trunk/preferences.xml ?
> 
> I guess that it is not scanning all plugin directories.

as a side note... The only reason for saving preferences.xml was so
that people could edit this file and add their own directory. But
NOBODY has ever used this possibility.

Then, how about not saving this file, but always generating the
directories on-the-fly, as in the first run?

-- 
Janek Kozicki                                                         |