diff options
Diffstat (limited to 'src/widget')
| -rw-r--r-- | src/widget/EmbeddedTerminal.qml | 23 |
1 files changed, 22 insertions, 1 deletions
diff --git a/src/widget/EmbeddedTerminal.qml b/src/widget/EmbeddedTerminal.qml index 5e2e2df..24dc3f6 100644 --- a/src/widget/EmbeddedTerminal.qml +++ b/src/widget/EmbeddedTerminal.qml @@ -84,7 +84,11 @@ Item { statusLine.update(); } - onTermLostFocus: highlighter.unfocus() + onTermLostFocus: { + highlighter.unfocus(); + statusLine.update(); + } + onHeightChanged: overlay.displayBriefly() onWidthChanged: overlay.displayBriefly() @@ -165,9 +169,20 @@ Item { workingDirectory.text = cwd.currentOfPID(shellPID); } + Rectangle { + Layout.fillWidth: true + + anchors.fill: parent + + color: settings.terminal.statusBackground + } + Text { id: pid + Layout.rightMargin: 4 + Layout.bottomMargin: 2 + font { family: settings.terminal.fontFamily pointSize: settings.terminal.fontSize @@ -176,6 +191,9 @@ Item { } Text { + Layout.rightMargin: 4 + Layout.bottomMargin: 2 + font { family: settings.terminal.fontFamily pointSize: settings.terminal.fontSize @@ -188,6 +206,9 @@ Item { Text { id: workingDirectory + Layout.rightMargin: 4 + Layout.bottomMargin: 2 + font { family: settings.terminal.fontFamily pointSize: settings.terminal.fontSize |