[PATCH] Cleanup in Tools -> Options -> User Data

[Miklos Vajna]

Hi János,

On Fri, Aug 03, 2012 at 10:15:59AM +0200, János Uray <uray.janos at gmail.com> wrote:
> For me, it doesn't crash, so I've no idea how to fix it.
> I don't understand this DELETEZ thing... DELETEZ deletes than zeros a
> pointer. This is now done automatically by boost::shared_ptr::~shared_ptr().

That's correct, this bug is also known as "double free", if you
converted a pointer to shared_ptr, then you must not delete it manually.
Please submit an updated patch that does not have this problem --
otherwise the patch looks really great. :-)

Thanks,

Miklos