diff --git a/src/frontends/qt4/DockView.h b/src/frontends/qt4/DockView.h index 5b2cdd7a96..f79803463d 100644 --- a/src/frontends/qt4/DockView.h +++ b/src/frontends/qt4/DockView.h @@ -38,6 +38,7 @@ public: ) : QDockWidget(&parent, flags), Dialog(parent, name, title) { + setObjectName(name); if (flags & Qt::Drawer) setFeatures(QDockWidget::NoDockWidgetFeatures); parent.addDockWidget(area, this); diff --git a/src/frontends/qt4/GuiToc.cpp b/src/frontends/qt4/GuiToc.cpp index 4b30e572ec..268f373313 100644 --- a/src/frontends/qt4/GuiToc.cpp +++ b/src/frontends/qt4/GuiToc.cpp @@ -35,7 +35,6 @@ namespace frontend { GuiToc::GuiToc(GuiView & parent, Qt::DockWidgetArea area, Qt::WindowFlags flags) : DockView(parent, "toc", qt_("Outline"), area, flags) { - setObjectName("toc"); widget_ = new TocWidget(parent, this); setWidget(widget_); }