namespace frontend {
GuiToc::GuiToc(GuiView & parent, Qt::DockWidgetArea area, Qt::WindowFlags flags)
- : DockView(parent, "toc", qt_("Outline"), area, flags), is_closing_(false)
+ : DockView(parent, "toc", qt_("Outline"), area, flags),
+ widget_(new TocWidget(parent, this)),
+ is_closing_(false)
{
- widget_ = new TocWidget(parent, this);
setWidget(widget_);
setFocusProxy(widget_);
}
-GuiToc::~GuiToc()
-{
- delete widget_;
-}
-
-
void GuiToc::updateView()
{
widget_->updateView();
- return;
}
}
-void GuiToc::enableView(bool /*enable*/)
+void GuiToc::enableView(bool enable)
{
- widget_->updateViewForce();
+ if (!enable)
+ // In the opposite case, updateView() will be called anyway.
+ widget_->updateViewNow();
}
Dialog * createGuiToc(GuiView & lv)
{
- GuiToc * toc;
-#ifdef Q_OS_MAC
- // On Mac show at the right and floating
- toc = new GuiToc(lv, Qt::RightDockWidgetArea);
- toc->setFloating(true);
-#else
- toc = new GuiToc(lv);
-#endif
- return toc;
+ return new GuiToc(lv);
}