[ref_impl_eiffel] [1712] Further small adjustments to Editor UI controls.

Revision: 1712
Author: thomas.beale
Log Message: