feat(terminal): styling improvements and shortcut

This commit is contained in:
2025-10-02 20:26:34 +02:00
parent 7cee2ff94f
commit 489fdafa1c
4 changed files with 108 additions and 11 deletions

View File

@@ -75,6 +75,9 @@ class DrawerComponent {
const panel = window.TerminalPanel;
const wasMinimized = panel.isMinimized;
panel.open(this.terminalPanelContainer, nodeIp);
if (nodeIp && panel._updateTitle) {
panel._updateTitle(nodeIp);
}
if (wasMinimized && panel.restore) {
panel.restore();
}