ref_impl_eiffel [298] Merge revisions 273-296 from BRANCHES/gui into TRUNK.

Revision: 298
Author: peter.gummer

Log Message: