2 bugs are the cause of this:
1) Tabs does not respect the ordering of its children. It always appends new tabs at the end. 2) If the ordering of children changes, Tabs ignores it.
Quick'n'dirty patch fixing that: http://pastebin.ubuntu.com/6475676/
2 bugs are the cause of this:
1) Tabs does not respect the ordering of its children. It always appends new tabs at the end.
2) If the ordering of children changes, Tabs ignores it.
Quick'n'dirty patch fixing that: pastebin. ubuntu. com/6475676/
http://