{
assert events_ == null : "DocsMenu.initialize was called more than once";
events_ = events;
events_.addHandler(
DocTabsChangedEvent.TYPE,
new DocTabsChangedHandler()
{
public void onDocTabsChanged(DocTabsChangedEvent event)
{
setDocs(event.getIcons(), event.getNames(), event.getPaths());
}