- /// 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,
- std::vector<int> & smn, StrPool & strpool);
- /// Add to "menu" the list of opened documents
- /// (add "extra_label" to the last entry)
- void add_documents(int menu, string const & extra_label,
- std::vector<int> & smn, StrPool & strpool);