Method renameWorkspace

app/src/UI/Taskbar.cpp:1653–1660

* @brief Renames a user-defined workspace. */

 * @brief Renames a user-defined workspace.
 */
void UI::Taskbar::renameWorkspace(int workspaceId, const QString& name)
{
  if (workspaceId < WorkspaceIds::AutoStart)
    return;

  DataModel::ProjectModel::instance().renameWorkspace(workspaceId, name);
  Q_EMIT workspaceModelChanged();
}

/**
 * @brief Adds the widget identified by windowId to the active workspace.