toolBarManager.add(new Separator());
if (element == null)
return;
IntroLaunchBarShortcut[] shortcuts = element.getShortcuts();
for (int i = 0; i < shortcuts.length; i++) {
IntroLaunchBarShortcut shortcut = shortcuts[i];
addShortcut(shortcut, toolBarManager);
}
}