public:
///
- typedef boost::tuple<lyx::pit_type, lyx::pos_type> FilePos;
+ typedef boost::tuple<pit_type, pos_type> FilePos;
///
typedef std::map<std::string, FilePos> FilePosMap;
///
///
typedef std::vector<std::string> LastOpened;
///
- typedef boost::tuple<unsigned int, std::string, unsigned int, lyx::pos_type> Bookmark;
+ typedef boost::tuple<unsigned int, std::string, unsigned int, pos_type> Bookmark;
///
typedef std::vector<Bookmark> BookmarkList;
///
*/
void clearLastOpenedFiles();
- /** set lastopened file list
- @param files filenames of a list of opened files
+ /** add file to lastopened file list
+ @param file filename to add
*/
- void setLastOpenedFiles(std::vector<std::string> const & files);
+ void addLastOpenedFile(std::string const & file);
/** load saved cursor position from the fname entry in the filepos map
@param fname file entry for which to load position information