HeaderWidget
Extends
Component<HeaderWidgetProps,HeaderWidgetState>
Constructors
Constructor
new HeaderWidget(props): HeaderWidget;
Parameters
| Parameter | Type |
|---|---|
props | HeaderWidgetProps |
Returns
HeaderWidget
Overrides
React.Component<HeaderWidgetProps, HeaderWidgetState>.constructor
Properties
| Property | Type |
|---|---|
clearHoverTimeout | number |
Accessors
commandPalletStore
workspaceStore
Methods
cancelClearHoveredWorkspaceGroup()
cancelClearHoveredWorkspaceGroup(): void;
Returns
void
clearHoveredWorkspaceGroup()
clearHoveredWorkspaceGroup(): void;
Returns
void
componentWillUnmount()
componentWillUnmount(): void;
Called immediately before a component is destroyed. Perform any necessary cleanup in this method, such as
cancelled network requests, or cleaning up any DOM elements created in componentDidMount.
Returns
void
Overrides
React.Component.componentWillUnmount
getLeftButtons()
getLeftButtons(): Element;
Returns
Element
getRightContent()
getRightContent(): Element;
Returns
Element
render()
render(): Element;
Returns
Element
Overrides
React.Component.render
scheduleClearHoveredWorkspaceGroup()
scheduleClearHoveredWorkspaceGroup(): void;
Returns
void
updateHoveredWorkspaceGroup()
updateHoveredWorkspaceGroup(key, rect?): void;
Parameters
| Parameter | Type |
|---|---|
key | string |
rect? | { left: number; width: number; } |
rect.left? | number |
rect.width? | number |
Returns
void
updateWorkspaceMenuOffset()
updateWorkspaceMenuOffset(rect): void;
Parameters
| Parameter | Type |
|---|---|
rect | { left: number; width: number; } |
rect.left | number |
rect.width | number |
Returns
void