Added automatic Ctrl+Number shortcuts for the 10 first woekbenches

src/Gui/Action.cpp

@@ -535,6 +535,8 @@ void WorkbenchGroup::setWorkbenchData(int i, const QString& wb)
     workbenches[i]->setToolTip(tip);
     workbenches[i]->setStatusTip(tr("Select the '%1' workbench").arg(name));
     workbenches[i]->setVisible(true);
+    if (i < 10)
+        workbenches[i]->setShortcut(QKeySequence(QString::fromUtf8("Ctrl+%1").arg(i)));
 }
 
 void WorkbenchGroup::refreshWorkbenchList()