Hi, Manu,

Follow your reproduce steps, the bug is still not reproducible in my Eiffel Studio. Reproduce video attached. Maybe you have some special settings when the bug is reproducible? If you delete everything in 

C:\Users\your_name\AppData\Local\Eiffel Software\eiffel65

Then can you reproduce the bug?