8 Commits

Author	SHA1	Message	Date
joshua	e0579b3040	Add widgets to edit terminal strip data (WIP)	2021-05-11 18:20:46 +02:00
joshua	36068abce7	Add a reload push button ... Add a reload push button to quickly reload/update the gui according to the current state of the terminal strip.	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	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