DockCenterArea
classin packageklyn.gui.windows
public class DockCenterArea extends TabWidget:
└ DockCenterArea

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)
Inherited Properties
propertyInherited Properties from TabWidget: activeIndex, activeTitle, activeWidget, addButtonWidth, childCount, closeAreaWidth, showAddButton, showTabBar, tabHeight, tabPosition
propertyInherited Properties from Container: autoRelayout, childCount, layout, padding
propertyInherited Properties from Widget: accentColor, backgroundColor, borderColor, bottom, canFocus, cornerRadius, cursor, font, foregroundColor, hasFocus, height, isEnabled, isHovered, isManaged, isPressed, isTabStop, isVisible, layoutParams, margin, maxHeight, maxWidth, minHeight, minWidth, parent, preferredHeight, preferredWidth, resolvedStyleCache, resolvedStyleCacheAppearanceMode, resolvedStyleCacheFont, resolvedStyleCacheRevision, resolvedStyleCacheStateKey, resolvedStyleCacheStyleClass, resolvedStyleCacheZoomRevision, right, size, sizePolicy, styleClass, toolTip, width, window, x, y
Events
Modifier and Type Member Description
public event tabContextMenuOpening
tabContextMenuOpening as DockTabContextMenuEvent
Emitted after the standard tab actions are built and before the context menu opens.
Inherited Events
eventInherited Events from TabWidget: addTabRequested, tabClosed
eventInherited Events from Widget: focusGained, focusLost, keyPressed, keyReleased, mouseMoved, mousePressed, mouseReleased, mouseWheel, paintRequested, resized
Constructors
Modifier and Type Member Description
public DockCenterArea Creates an empty center area.
Methods
Modifier and Type Member Description
public closeAllTabs
closeAllTabs() as Int:
Closes every closeable tab in the center area.
public closeOtherTabs
closeOtherTabs(index as Int) as Int:
Closes every closeable tab except the tab at index.
public closeTabsToRight
closeTabsToRight(index as Int) as Int:
Closes every closeable tab located to the right of index.
Inherited Methods
methodInherited Methods from TabWidget: addTab, applyLayout, closeTab, findTab, isCloseableAt, isModifiedAt, onTabClosed, onTabSelected, paint, select, setBounds, setModifiedAt, setTitleAt, titleAt, widgetAt
methodInherited Methods from Container: add, applyLayout, attachWindow, children, clear, paintOverlay, remove, withLayout
methodInherited Methods from Widget: applyThemeMetrics, blur, containsPoint, emitFocusGained, emitFocusLost, emitKeyPressed, emitKeyReleased, emitMouseMoved, emitMousePressed, emitMouseReleased, emitMouseWheel, handleTabKey, notifyPaintRequested, paint, paintClipped, paintOverlay, preferredSizeIncludesContentZoom, repaint, requestFocus, resolvePreferredHeight, resolvePreferredWidth, resolvedFont, setBounds
Inherited Operators
operatorInherited Operators from Container: operator[](index as Int) as Widget:, operator[](index as UInt) as Widget: