Reihenfolge der Workspaces ändern

Wenn mehrere Workspaces für verschiedene Handelssysteme eingerichtet wurden, wäre es angemessen, ihre Reihenfolge im Fenster Workspace ändern zu können;

analog zum entsprechenden Fenster für Layouts.