No recompilation from scratch in my case. Only exiting EiffelStudio and restarting it (and perhaps some incremental compilations).

--
Eric Bezault