Created attachment 2400 Terminal-0.2.12-notabgui.patch This is my patch for the xfce terminal. If you can make it into a setting in the gui it would be great.
What exactly are you trying to do there? I really don't see the point of this patch...
I want the option to remove the tab-bar at the top of the window when you have 2 or more tabs open at the same time. But in my patch, I've removed it completely instead of adding an option for it. The other thing I've done in the patch is to make it select the first tab when i try to go the the next tab if i'm on the last tab. Also vice versa, it goes to the last tab if i go left from the leftmost tab.