[ref_impl_eiffel] [1637] Slight adjustments to make GUI_RM_SCHEMA_EXPLORER history work properly.

Revision: 1637
Author: thomas.beale
Log Message: