[ref_impl_eiffel] [915] Various small usability improvements relating to the navigator pane.

Revision: 915
Author: thomas.beale
Log Message: