joshua
6197d0215a
Several real terminal can be added to terminal strip in one shot
...
User can select several real terminals in the free terminal editor
and add it with one operation on a terminal strip.
2022-04-08 20:48:32 +02:00
joshua
a38d97896d
Minor : avoid unnecessary multiple function call
...
TerminalStripTreeDockWidget::on_m_tree_view_currentItemChanged
call setCurrentStrip only when current strip changed, and not every time
when user click in another item on the tree view.
2022-03-30 20:30:57 +02:00
joshua
edfb23be23
Change terminal strip editor class
...
Change parent class from QDialog to QWidget.
Terminal strip editor is now embedded in TerminalStripEditorWindow.
2022-03-20 18:25:25 +01:00
joshua
b48ba939de
Add free terminal editor widget
2022-03-16 22:44:08 +01:00
joshua
b1ad16d482
Add toolbar and buttons
...
Add 'add terminal strip' button.
Add 'remove terminal strip' button
Add 'reload' button
2022-03-16 18:58:36 +01:00
joshua
ceb54fbc6a
Start to move terminal strip editor from QDialog to QMainWindow
2022-03-14 17:56:18 +01:00
