It has happened to me a few times now that PL/SQL Developer failed to start (usually due to a lack of available resources/handles/gdi objects/user objects) and in the process wiped out my user.prefs file. It looks like user.prefs gets reset to some default content, or maybe it simply got deleted and re-created the next time the app starts up.
default.ini doesn't appear to be affected. But things like the object browser customizations (folder colors, custom filters) are lost.
It would be hard (and not very much fun) to try to reproduce this problem and/or give you a testcase, so I don't really expect this to be fixed. However, if you happen to know where in the code this happens and are able to do something nice (maybe back up user.prefs), I will appreciate it next time this happens
default.ini doesn't appear to be affected. But things like the object browser customizations (folder colors, custom filters) are lost.
It would be hard (and not very much fun) to try to reproduce this problem and/or give you a testcase, so I don't really expect this to be fixed. However, if you happen to know where in the code this happens and are able to do something nice (maybe back up user.prefs), I will appreciate it next time this happens
