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();
}