The personal tools available in the personal menu (
OO-963) should also be displayed in the top navigation if configured. This is a system wide setting with personal override, similar to the portal configuration.
In the admin section the available tools configured and the tools put into the top navigation are preset.
In the personal configuration, the user can customize the top navigation configuration and add or remove tools.