[ref_impl_eiffel] [1359] Reinstate a few improvements to the repository profile configuration dialog that were originally committed in revision 1353 but zapped by revision 1355 :

Revision: 1359
Author: peter.gummer
Log Message: