Add free terminal editor widget

This commit is contained in:
joshua
2022-03-16 22:44:08 +01:00
parent b1ad16d482
commit b48ba939de
7 changed files with 62 additions and 17 deletions

View File

@@ -44,6 +44,7 @@ class TerminalStripTreeDockWidget : public QDockWidget
QString currentInstallation() const;
QString currentLocation() const;
void setSelectedStrip(TerminalStrip *strip);
QSharedPointer<RealTerminal> currentRealTerminal() const;
signals:
void currentStripChanged(TerminalStrip *strip);