Panel API
Panel API
component | The id of the component renderer
|
---|---|
group |
|
height | The panel height in pixels
|
id | The id of the panel that would have been assigned when the panel was created
|
isActive | Whether the panel is the actively selected panel
|
isFocused | Whether the panel holds the current focus
|
isGroupActive |
|
isVisible | Whether the panel is visible
|
location |
|
onDidActiveChange |
|
onDidActiveGroupChange |
|
onDidDimensionsChange |
|
onDidFocusChange |
|
onDidGroupChange |
|
onDidLocationChange |
|
onDidParametersChange |
|
onDidRendererChange |
|
onDidTitleChange |
|
onDidVisibilityChange |
|
onWillFocus |
|
renderer |
|
tabComponent | The id of the tab component renderer
Undefined if no custom tab renderer is provided
|
title |
|
width | The panel width in pixels
|
close |
|
exitMaximized |
|
getParameters |
|
getWindow | If you require the Window object
|
isMaximized |
|
maximize |
|
moveTo |
|
setActive |
|
setRenderer |
|
setSize |
|
setTitle |
|
updateParameters |
|