Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit 649dc824 authored by NICLAUSSE Nicolas's avatar NICLAUSSE Nicolas
Browse files

fix: we must leave previous workspace before creating a new one

parent 1820ec37
Pipeline #147871 running with stage
......@@ -279,15 +279,22 @@ void dtkWidgetsWorkspaceBar::createWorkspace(const QString& type)
void dtkWidgetsWorkspaceBar::createWorkspace(const QString &name, const QString& type, bool display_destroy)
{
dtkWidgetsWorkspace *workspace = dtk::widgets::workspace::pluginFactory().create(type);
// the leave() must be done BEFORE changing d->current_workspace (which is what d->createWorkspace DOES!!)
// and before creating new workspace
if (d->current_workspace)
d->current_workspace->leave();
workspace->setObjectName(name);
dtkWidgetsWorkspace *workspace = dtk::widgets::workspace::pluginFactory().create(type);
if (!workspace) {
qWarning() << "can't create workspace of type" << type << dtk::widgets::workspace::pluginFactory().keys();
if (d->current_workspace)
d->current_workspace->enter();
return;
}
workspace->setObjectName(name);
// the leave() must be done BEFORE changing d->current_workspace (which is what d->createWorkspace DOES!!)
if (d->current_workspace)
d->current_workspace->leave();
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment