5 Commits

Author	SHA1	Message	Date
joshua	ded4ea555f	Terminal element can be removed from a terminal strip	2021-05-11 18:20:46 +02:00
joshua	dbb21373e1	Read terminal strip from xml	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