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 | |