[ref_impl_eiffel] [1639] Fix bug where selection history was not properly shared to all subtools of the GUI_CATALOGUE_TOOL .

Revision: 1639
Author: thomas.beale
Log Message: