From 446cebdfdcd6fc6e31bd2a29c098cfce7e844dbd Mon Sep 17 00:00:00 2001 From: Gordon Smith Date: Fri, 12 Jan 2024 11:37:37 +0000 Subject: [PATCH] feat: Add padding property to DockPanel.addWidget Signed-off-by: Gordon Smith --- packages/phosphor/src/DockPanel.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/phosphor/src/DockPanel.ts b/packages/phosphor/src/DockPanel.ts index 6dc2dc54cf..d23a5835a1 100644 --- a/packages/phosphor/src/DockPanel.ts +++ b/packages/phosphor/src/DockPanel.ts @@ -28,11 +28,11 @@ export class DockPanel extends HTMLWidget implements IMessageHandler, IMessageHo return retVal; } - addWidget(widget: Widget, title: string, location: PhosphorDockPanel.InsertMode = "split-right", refWidget?: Widget, closable?: boolean | IClosable) { + addWidget(widget: Widget, title: string, location: PhosphorDockPanel.InsertMode = "split-right", refWidget?: Widget, closable?: boolean | IClosable, padding: number = 8) { const addMode: PhosphorDockPanel.IAddOptions = { mode: location, ref: this.getWidgetAdapter(refWidget) }; const wa = new WidgetAdapter(this, widget, {}, closable); wa.title.label = title; - wa.padding = 8; + wa.padding = padding; this._dock.addWidget(wa, addMode); this._dock.appendContent(wa); this._dock.tabsMovable = true;