14 Commits

Author	SHA1	Message	Date
joshua	507c1b4f73	Minor gui behavior improvement	2021-05-11 18:46:12 +02:00
joshua	580ebe8b97	Terminal strip can now be edited and managed by undo command	2021-05-11 18:20:46 +02:00
joshua	e0579b3040	Add widgets to edit terminal strip data (WIP)	2021-05-11 18:20:46 +02:00
joshua	ded4ea555f	Terminal element can be removed from a terminal strip	2021-05-11 18:20:46 +02:00
joshua	f07f4cb150	Fix drag and drop bug	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	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