I want to suggest a small but impactful (to me, at least) quality-of-life improvement: double-clicking a tab to change it's title.
xfce4-terminal has this, and I have found it to be of great value, since it saves time compared to right-clicking and selecting 'Set Title'.
Expected behaviour
Double-clicking on a tab should switch to that tab, then invoke the "Set Title" dialog.
I want to suggest a small but impactful (to me, at least) quality-of-life improvement: double-clicking a tab to change it's title.
xfce4-terminal
has this, and I have found it to be of great value, since it saves time compared to right-clicking and selecting 'Set Title'.Expected behaviour
Double-clicking on a tab should switch to that tab, then invoke the "Set Title" dialog.