public class DockCenterArea extends TabWidget:
Central tab area of a DockWorkspace.
The class intentionally stays close to TabWidget: editors and document-like widgets are still manipulated as tabs, while the surrounding workspace owns the docked panes. Unlike a generic TabWidget, the center area supplies the standard document-tab context menu expected by workbench applications.
workspace = DockWorkspace()
workspace.center.addTab("main.kn", editor)| Modifier and Type | Member | Description |
|---|---|---|
| public event | tabContextMenuOpeningtabContextMenuOpening as DockTabContextMenuEvent |
Emitted after the standard tab actions are built and before the context menu opens. |
| Modifier and Type | Member | Description |
|---|---|---|
| public | DockCenterArea | Creates an empty center area. |
| Modifier and Type | Member | Description |
|---|---|---|
| public | closeAllTabscloseAllTabs() as Int: |
Closes every closeable tab in the center area. |
| public | closeOtherTabs | Closes every closeable tab except the tab at index. |
| public | closeTabsToRight | Closes every closeable tab located to the right of index. |