Method restartBackend

src/frontend/dockwidgets/NotebookDock.cpp:102–105

}

void NotebookDock::restartBackend() {
	for (auto* nb : m_notebooks)
		nb->restart();
}

/*!
 * this slot is called when the visibility for one of the panels in Cantor is requested.