Closed Bill-Stewart closed 6 years ago
Hi, if I understand this request correctly, this is already working. At least I am able to change the order of the tabs by drag and drop with newest version of Terminals. If this is what you meant, please retry.
Any issue related to tabs will be fixed by #60
I tested again. This feature seems to have some interesting behavior/side effects. I have "Show user name in tab title" enabled. Dragging and dropping to reorder tabs only seems to work consistently when 1) I am dragging the active (bold) tab and 2) if my mouse pointer is directly on the favorite (host) name of the tab. It seems not to work consistently (or I don't understand the conditions under which it does not work) when I try to drag a non-active tab or when the mouse pointer is not directly on the favorite name.