Marcus Tillmanns 92355bf40d Terminal: Lazily open remote terminals ...

Move the burden of finding the shell of a device from the shell menu
to the TerminalWidget, so that opening the shell menu does not block
the ui.

Change-Id: I7f2e5a891f20faa53a1e3eec879866219f9bee0b
Reviewed-by: hjk <hjk@qt.io>

2023-08-17 07:09:48 +00:00

2.6 KiB

Raw Blame History

View Raw