PR# 19566 EiffelBuild tricky situation after copying project directory - special condition applies

I start by copying a EiffelBuild project directory under new name. Important: the origin directory must remain under same name for this bug to happen!

Next in the new directory I double click the build_project file to invoke EiffelBuild.

EiffelBuild recognizes its operating out of a new directory and asks for confirmation that the system_interface.xml has also been moved.

Here comes the tricky part:  
After having seen this message too many times I chose to mark the "don't show again" checkbox. (*)

EiffelBuild displays the project.

BUG:
Exactly in this invocation, depending on having marked the checkbox (!!!), EiffelBuild does not updated the Project Configuration to match the new location.

Effect: any editing done during this first invocation after a directory copy and having marked the checkbox(!), all modifications and actions will be applied to the project at the originating directory, including Eiffel code generation. Prior project status is lost.

The next following start of EIffelBuild out of the new diretory will result in quietly adjusting the Project Configuration to the new current location. But it will not pick up the modifications that were made to the project stored in the old directory content.
______________________

re (*) the omnious checkbox:  bad application of GUI rules, marking the checkbox acts also as if OK button was clicked rather than keeping the dialog open so the user could unmark the checkbox. Also this option is not found in the EiffelBuild menuss to reset. Requires Windows Registry hacking.
______________________

Files:

Documentation.txt (Windows Notepad) contains test script used to track down this bug. Look for *** markers to points of interest.
DirectoryMoveBug Image Gallery.zip has the matching screenshots.
DirectoryMoveBug Docu plain.pdf colourful version of Documentation.txt
DirectoryMoveBug Docu w pics.pdf same but with the picture gallery included
_______________________

R.

follow the activities in the documentation

My apologies for the complaint about missing the possibility to reset the "don't show" option (and me hacking the Windows registry) - --> I did finally find it the Preferences setting. 

Attachments for problem report #19566