-
Cosimo Cecchi authored
The way we used to instantiate the toolbar, from the navigation window UIManager, did not work fine in the new UI design, as we have a toolbar for each pane now; so we must instantiate a new UIManager for each pane, and add to it the navigation action group to fetch actions from.
1373f01d