Lastfiles,
/** This is the list of opened Documents,
typically for the Documents menu. */
- Documents
+ Documents,
+ ///
+ Toc,
+ ///
+ References,
+ /** This is a list of viewable formats
+ typically for the Documents menu. */
+ ViewFormats,
+ /** This is a list of updatable formats
+ typically for the Documents menu. */
+ UpdateFormats,
+ /** This is a list of exportable formats
+ typically for the Documents menu. */
+ ExportFormats
};
/// Create a Command type MenuItem
MenuItem(Kind kind,
string const & name() const { return name_; }
///
bool empty() const { return items_.empty(); }
+ ///
+ ItemList::size_type size() const { return items_.size(); }
///
const_iterator begin() const {
return items_.begin();