Saving immediately when replacing a sketch with another in the same editor.  Should fix bug: http://code.google.com/p/arduino/issues/detail?id=88
Saving immediately when replacing a sketch with another in the same editor.  Should fix bug: http://code.google.com/p/arduino/issues/detail?id=88



Former-commit-id: 9a5507fd075642ebbe2f12293624196b4e384167
majenkotech/chipKIT32-MAX,chipKIT32/chipKIT32-MAX,adamwolf/chipKIT32-MAX,adamwolf/chipKIT32-MAX,majenkotech/chipKIT32-MAX,EmbeddedMan/chipKIT32-MAX,adamwolf/chipKIT32-MAX,ricklon/chipKIT32-MAX,tintin304/chipKIT32-MAX,tintin304/chipKIT32-MAX,chipKIT32/chipKIT32-MAX,EmbeddedMan/chipKIT32-MAX,ricklon/chipKIT32-MAX,adamwolf/chipKIT32-MAX,chipKIT32/chipKIT32-MAX,ricklon/chipKIT32-MAX,EmbeddedMan/chipKIT32-MAX,ricklon/chipKIT32-MAX,chipKIT32/chipKIT32-MAX,majenkotech/chipKIT32-MAX,tintin304/chipKIT32-MAX,EmbeddedMan/chipKIT32-MAX,majenkotech/chipKIT32-MAX,tintin304/chipKIT32-MAX,ricklon/chipKIT32-MAX,EmbeddedMan/chipKIT32-MAX,adamwolf/chipKIT32-MAX,chipKIT32/chipKIT32-MAX,adamwolf/chipKIT32-MAX,adamwolf/chipKIT32-MAX,majenkotech/chipKIT32-MAX,tintin304/chipKIT32-MAX,majenkotech/chipKIT32-MAX,chipKIT32/chipKIT32-MAX,EmbeddedMan/chipKIT32-MAX,chipKIT32/chipKIT32-MAX,majenkotech/chipKIT32-MAX,ricklon/chipKIT32-MAX,tintin304/chipKIT32-MAX,ricklon/chipKIT32-MAX,EmbeddedMan/chipKIT32-MAX,tintin304/chipKIT32-MAX