joshua
|
2a307a74da
|
Improve execution time of some actions.
Improve the execution time when we add, change or remove
several terminals to/from terminal strip.
|
2022-06-23 21:36:24 +02:00 |
|
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
|
c4b0c1435c
|
The free terminal properties can be edited by batch.
|
2022-03-25 19:49:31 +01:00 |
|
joshua
|
a4445c411d
|
Change made inside the free terminal table can be applied
|
2022-03-25 19:25:46 +01:00 |
|
joshua
|
9cbc3a2265
|
Add table widget and item model for free terminal
WIP, the change made in the table widget can't be applied.
|
2022-03-12 19:07:49 +01:00 |
|