8 Commits

Author	SHA1	Message	Date
joshua	2572e1c25d	Display terminals owned by terminal strip in the tree view	2021-05-11 18:20:46 +02:00
joshua	256d42d030	Add and move terminal element to strip is managed by undo	2021-05-11 18:20:46 +02:00
joshua	171e95fb17	Enable drag and drop of terminal tree widget item	2021-05-11 18:20:46 +02:00
joshua	d3ad490b84	Initial comit to use drag and drop	2021-05-11 18:20:46 +02:00
joshua	df07f373d8	Terminal strip add/remove is managed by undo stack	2021-05-11 18:20:46 +02:00
joshua	63429ab087	Terminal strip editor display the free terminal elements	2021-05-11 18:20:46 +02:00
joshua	91db58bb64	Add dialog to create terminal strip + display existing terminal strip	2021-05-11 18:20:46 +02:00
joshua	bbfe9ed377	Add terminal strip editor widget	2021-05-11 18:20:46 +02:00