- /** Add to "menu" the list of last opened files
- (add "extra_label" to the last entry)
- */
- void add_lastfiles(int menu, string const & extra_label);
- /** Add to "menu" the list of opened documents
- (add "extra_label" to the last entry)
- */
- void add_documents(int menu, string const & extra_label);
- /// Add to "menu" the list of exportable/viewable formats
- /// (add "extra_label" to the last entry)
- void add_formats(int menu, string const & extra_label,
- kb_action action, bool viewable);