#include "support/FileName.h"
#include "support/types.h"
+#include <map>
#include <string>
-#include <deque>
#include <vector>
-#include <map>
/** This session file maintains
1. the latest documents loaded (lastfiles)
{
public:
///
- typedef std::deque<support::FileName> LastFiles;
+ typedef std::vector<support::FileName> LastFiles;
public:
///
///
void write(std::ostream & os) const;
- /// Return lastfiles container (deque)
+ /// Return lastfiles container (vector)
LastFiles const lastFiles() const { return lastfiles; }
- /** Insert #file# into the lastfile dequeue.
+ /** Insert #file# into the lastfile vector.
This funtion inserts #file# into the last files list. If the file
already exists it is moved to the top of the list, else exist it
is placed on the top of the list. If the list is full the last
/** add cursor position to the fname entry in the filepos map
@param fname file entry for which to save position information
- @param pos position of the cursor when the file is closed.
+ @param pos position of the cursor when the BufferView is closed.
*/
void save(support::FileName const & fname, FilePos const & pos);