+GuiFontLoader::~GuiFontLoader()
+{
+ update();
+}
+
/////////////////////////////////////////////////
/////////////////////////////////////////////////
GuiFontLoader();
/// Destructor
GuiFontLoader();
/// Destructor
- virtual ~GuiFontLoader() {}
+ virtual ~GuiFontLoader();
virtual void update();
virtual bool available(FontInfo const & f);
virtual void update();
virtual bool available(FontInfo const & f);
+void GuiToc::clearTocModels()
+{
+ const unsigned int size = toc_models_.size();
+ for (unsigned int i = 0; i < size; ++i) {
+ delete toc_models_[i];
+ }
+ toc_models_.clear();
+}
+
+
int GuiToc::getTocDepth(int type)
{
if (type < 0)
int GuiToc::getTocDepth(int type)
{
if (type < 0)
types_.clear();
type_names_.clear();
types_.clear();
type_names_.clear();
TocList const & tocs = buffer().masterBuffer()->tocBackend().tocs();
TocList::const_iterator it = tocs.begin();
TocList::const_iterator end = tocs.end();
TocList const & tocs = buffer().masterBuffer()->tocBackend().tocs();
TocList::const_iterator it = tocs.begin();
TocList::const_iterator end = tocs.end();
TocWidget * widget_;
///
std::vector<TocModel *> toc_models_;
TocWidget * widget_;
///
std::vector<TocModel *> toc_models_;
+ ///
+ void clearTocModels();
{
buffer_view_->buffer().workAreaManager().remove(this);
delete buffer_view_;
{
buffer_view_->buffer().workAreaManager().remove(this);
delete buffer_view_;