I've implemented an option to change the sort order of the tab switcher widget:
This will be available in the next release.
Thanks for the feedback!
It will be at stable or beta release ?
And what somewhere about the date?
This will be in the next beta. I hope to get one out by tomorrow but I can't really promise it. Depends on how stable it is while testing.
Actually this does not really work reliably. When you move the tabs, the switcher window does not update and still shows the old order.
thanks for reporting the issue. Seems to be a bug in the UI framework we are using. I opened a support ticket there and hope they can soon fix it.
ui framework too buggy
Just to let you all know. The bug with the incorrect sort order has been fixed and will ship with the next minor release.