namespace frontend {
GuiToc::GuiToc(GuiView & parent, Qt::DockWidgetArea area, Qt::WindowFlags flags)
- : DockView(parent, "toc", qt_("Outline"), area, flags)
+ : DockView(parent, "toc", qt_("Outline"), area, flags), is_closing_(false)
{
widget_ = new TocWidget(parent, this);
setWidget(widget_);
widget_->updateView();
}
+
+void GuiToc::closeEvent(QCloseEvent * /*event*/)
+{
+ is_closing_ = true;
+ ((GuiView *)parent())->updateToolbars();
+ is_closing_ = false;
+}
+
+
void GuiToc::doDispatch(Cursor & cur, FuncRequest const & cmd)
{
widget_->doDispatch(cur, cmd);
}
+bool GuiToc::getStatus(Cursor & cur, FuncRequest const & cmd,
+ FuncStatus & status) const
+{
+ return widget_->getStatus(cur, cmd, status);
+}
+
+
Dialog * createGuiToc(GuiView & lv)
{
GuiView & guiview = static_cast<GuiView &>(lv);