mirror of
https://github.com/earendil-works/pi.git
synced 2026-06-18 15:54:04 +08:00
Adjust widget spacing with empty state
This commit is contained in:
@@ -842,6 +842,7 @@ export class InteractiveMode {
|
||||
this.widgetContainer.clear();
|
||||
|
||||
if (this.extensionWidgets.size === 0) {
|
||||
this.widgetContainer.addChild(new Spacer(1));
|
||||
this.ui.requestRender();
|
||||
return;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user