- ///
- TocList const & tocs() const;
-
- /// Return the list of types available
- std::vector<docstring> const & typeNames() const
- { return type_names_; }
-
- ///
- int selectedType() { return selected_type_; }
-
- /// Return the first TocItem before the cursor
- TocIterator currentTocItem(int type) const;
-
- /// Apply the selected outlining operation
- void outlineUp();
- ///
- void outlineDown();
- ///
- void outlineIn();
- ///
- void outlineOut();
- ///
- void updateBackend();
-
- std::vector<std::string> types_;
- std::vector<docstring> type_names_;
- int selected_type_;
-
- /// Return the guiname from a given cmdName of the TOC param
- docstring guiName(std::string const & type) const;
-