developtools_ace_ets2bundle/compiler/components/panel.json

{
  "name": "Panel",
  "attrs": [
    "type", "mode", "dragBar", "fullHeight", "backgroundMask",
    "halfHeight", "miniHeight", "show", "onChange", "onHeightChange", "showCloseIcon"
  ]
}