User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.0.3) Gecko/20060504 Firefox/1.5.0.3 Build Identifier: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.0.3) Gecko/20060504 Firefox/1.5.0.3 Thanks for the great work on terminal, I've been using it as my main terminal emulator for a while now. One big feature I miss coming from gnome-terminal is the ability to rearrange tabs by dragging them around with the mouse. I am not sure how trivial it would be to implement but it sure would be great to see it. Reproducible: Always
I've never seen that in gnome-terminal. But support for rearranging tabs will be available with Gtk+ 2.10, so we can implement that for Terminal once Gtk+ 2.10 is out. Resolving to LATER for now.
If you're interested, the feature is at least present in gnome-terminal 2.14.1.
Just checked the source, it's done as a hack on top of GtkNotebook. I'm not really in favour of adding that hack to Terminal as well, so let's just wait for GTK+ 2.10 and use the clean solution.
this one's fixed for some time too
Looks like a duplicate of bug #1974.
*** This bug has been marked as a duplicate of bug 1974 ***