WorkbenchTabbedPanel class
Tabbed bottom-panel chrome primitive.
Owns the TabController and renders:
- A scrollable TabBar of the tab labels (uppercase, with optional inline badges).
- A trailing close button that fires onTogglePanel.
- A TabBarView hosting each descriptor's content.
Tab strip colors and indicator come from WorkbenchTheme
(tabBarLabelColor, tabBarUnselectedLabelColor,
tabBarIndicatorColor, tabBarDividerColor); the panel
background uses panelBackground. The host installs the theme
extension on the surrounding ThemeData — the primitive does not
patch Theme locally.
- Inheritance
-
- Object
- DiagnosticableTree
- Widget
- StatefulWidget
- WorkbenchTabbedPanel
Constructors
-
WorkbenchTabbedPanel({Key? key, required List<
WorkbenchPanelTab> tabs, required VoidCallback onTogglePanel, String? initialTabId, ValueChanged<String> ? onActiveTabChanged, void onRegisterFocusTab(ValueChanged<String> focusById)?, String closeButtonTooltip = 'Hide Panel'}) -
const
Properties
- closeButtonTooltip → String
-
Tooltip on the close button.
final
- hashCode → int
-
The hash code for this object.
no setterinherited
- initialTabId → String?
-
Tab id to focus on first frame. Falls back to the first tab if
the id is null or unknown.
final
- key → Key?
-
Controls how one widget replaces another widget in the tree.
finalinherited
-
onActiveTabChanged
→ ValueChanged<
String> ? -
Notified whenever the active tab changes (and once after init,
after the first frame, so hosts can mirror state — e.g. for the
View menu).
final
-
onRegisterFocusTab
→ void Function(ValueChanged<
String> focusById)? -
Receives a callback the host can invoke to focus a tab by id.
Useful for keyboard shortcuts and View menu items.
final
- onTogglePanel → VoidCallback
-
Invoked when the close button is pressed.
final
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
-
tabs
→ List<
WorkbenchPanelTab> -
Tabs in display order. Must be non-empty.
final
Methods
-
createElement(
) → StatefulElement -
Creates a StatefulElement to manage this widget's location in the tree.
inherited
-
createState(
) → State< WorkbenchTabbedPanel> -
Creates the mutable state for this widget at a given location in the tree.
override
-
debugDescribeChildren(
) → List< DiagnosticsNode> -
Returns a list of DiagnosticsNode objects describing this node's
children.
inherited
-
debugFillProperties(
DiagnosticPropertiesBuilder properties) → void -
Add additional properties associated with the node.
inherited
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toDiagnosticsNode(
{String? name, DiagnosticsTreeStyle? style}) → DiagnosticsNode -
Returns a debug representation of the object that is used by debugging
tools and by DiagnosticsNode.toStringDeep.
inherited
-
toString(
{DiagnosticLevel minLevel = DiagnosticLevel.info}) → String -
A string representation of this object.
inherited
-
toStringDeep(
{String prefixLineOne = '', String? prefixOtherLines, DiagnosticLevel minLevel = DiagnosticLevel.debug, int wrapWidth = 65}) → String -
Returns a string representation of this node and its descendants.
inherited
-
toStringShallow(
{String joiner = ', ', DiagnosticLevel minLevel = DiagnosticLevel.debug}) → String -
Returns a one-line detailed description of the object.
inherited
-
toStringShort(
) → String -
A short, textual description of this widget.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited