Wow, that's a pretty serious bug. I am amazed they did not fix that yet,
except that I experienced them before.
BTW, when you say the file is reset. Do you really mean the file, or the
preferences. These are not necessarily the same thing anymore. How do you
notice it?
Christiaan
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
Bibdesk-users mailing list
Bibdesk-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/bibdesk-users
