[ref_impl_eiffel] [1380] In the repository profile dialog, fix a bug that prevented the user from setting the working repository of an existing profile .

Revision: 1380
Author: peter.gummer
Log Message: