public event tabContextMenuOpening as DockTabContextMenuEvent
Emitted after the standard tab actions are built and before the context menu opens.
Applications can append their own MenuItem implementations without replacing the standard Close, Close Others, Close Right and Close All actions.
workspace.center.tabContextMenuOpening += lambda(event: DockTabContextMenuEvent):
event.menu.addItem(MenuItem("Reveal in Project"))