I think this is the changeset of the fix by the MySQL developer: http://svn.mysql.com/fisheye/changelog/mysql-gui-common/?cs=1918 This is from a google cache because the site itself seems to be having problems at the moment.
Also, Attaching a backtrace.
FYI: This happens to me 5 to 10 times per day. It is predictable enough that I can work around it and not lose any work, but it really hurts productivity. :)
I think this is the changeset of the fix by the MySQL developer: svn.mysql. com/fisheye/ changelog/ mysql-gui- common/ ?cs=1918
http://
This is from a google cache because the site itself seems to be having problems at the moment.
Also, Attaching a backtrace.
FYI: This happens to me 5 to 10 times per day. It is predictable enough that I can work around it and not lose any work, but it really hurts productivity. :)