Thomas only has one year left on his contract, so he will either sign in the next few weeks or leave.
Gravesen's agent John Sivebaek said "He has one more year to run on his current deal and we are planning to have talks, It is fair to say that it would take a big offer for Gravesen to sign a new deal. He has been with Everton for four years and has done really and has enjoyed himself. But it may be now time for him to try something new."
Selling bad players is one thing, but if Everton let Gravesen go it will show us all that the current board has literally no ambition at all, and that would not be a nice place to be.