************************************************************************* When you update wxMaxima, you should delete the file .wxMaxima in your home directory. *************************************************************************