void TocWidget::doDispatch(Cursor & cur, FuncRequest const & cmd,
DispatchResult & dr)
{
-
Inset * inset = itemInset();
QModelIndex const & index = tocTV->currentIndex();
void TocWidget::sendDispatch(FuncRequest fr)
{
-
fr.setViewOrigin(&gui_view_);
GuiWorkArea * old_wa = gui_view_.currentWorkArea();
GuiWorkArea * doc_wa = gui_view_.currentMainWorkArea();
finishUpdateView();
timer_->start(300);
}
+ keep_expanded_ = false;
}
typeCO->setCurrentIndex(new_index);
typeCO->blockSignals(false);
updateViewNow();
+ if (persistent_)
+ setTreeDepth(depth_);
}
} // namespace frontend