public class DockTabContextMenuEvent extends GuiEvent:
Event emitted before a DockCenterArea tab context menu opens.
Applications may append domain-specific actions to menu. The standard close actions are already present and remain owned by the dock workspace.
center.tabContextMenuOpening += lambda(event as DockTabContextMenuEvent):
event.menu.addItem(MenuItem("Reveal in Project"))| Modifier and Type | Member | Description |
|---|---|---|
| public readonly property | indexindex as Int |
Zero-based index of the tab receiving the context menu. |
| public readonly property | menumenu as Menu |
Mutable menu containing the standard document-tab actions. |
| public readonly property | titletitle as String |
Current tab title. |
| public readonly property | widgetwidget as Widget |
Widget hosted by the tab. |
| Modifier and Type | Member | Description |
|---|---|---|
| public | DockTabContextMenuEvent | Creates a dock-tab context-menu event. |