indexing description: "User preferences used in the interface." date: "$Date$" revision: "$Revision: " class EB_SHARED_PREFERENCES feature -- Access text_on_selected_icons: BOOLEAN -- Should we display a text alongside some selected icons? end -- class EB_SHARED_PREFERENCES