#38 Sorting of the editor tabs

[Lars Grammel]

There should be the possibility to provide a priority
for an editor tab and the user should have the
possibility to define his own tab sequence in the
preferences.

[Lars Grammel]

Logged In: YES
user_id=689774
Originator: YES

A sorting by name was implemented.

[Lars Grammel]

Logged In: YES
user_id=689774
Originator: YES

Sorted by type (basic, auxiliary) was added.