addPanel static method
Places a DOM node above or below an editor, and shrinks the editor to make room for the node. By default, the panel ends up above the editor.
Implementation
static PanelContainer addPanel(CodeMirror editor, Element element,
{bool? below}) {
if (below ?? false) {
var options = {'position': 'bottom'};
return PanelContainer._(
editor.callArgs('addPanel', [element, jsify(options)]));
} else {
return PanelContainer._(editor.callArg('addPanel', element));
}
}