X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2FSession.h;h=5af5554d967a99df2cf5a372c7a3d7dbaed413ed;hb=fba1c434e5166d0bd44fc7b981a141ab94553d5d;hp=31ffee8841bab4cb2ab98945058140ddbba2c8e9;hpb=f11bfe1697492f79f8cc02d4021305005cf539ef;p=lyx.git

diff --git a/src/Session.h b/src/Session.h
index 31ffee8841..5af5554d96 100644
--- a/src/Session.h
+++ b/src/Session.h
@@ -16,7 +16,7 @@
 #include "support/FileName.h"
 #include "support/types.h"
 
-#include <map>
+#include <list>
 #include <string>
 #include <vector>
 
@@ -64,10 +64,10 @@ public:
 	explicit LastFilesSection(unsigned int num = 4);
 
 	///
-	void read(std::istream & is);
+	void read(std::istream & is) override;
 
 	///
-	void write(std::ostream & os) const;
+	void write(std::ostream & os) const override;
 
 	/// Return lastfiles container (vector)
 	LastFiles const lastFiles() const { return lastfiles; }
@@ -119,10 +119,10 @@ public:
 
 public:
 	///
-	void read(std::istream & is);
+	void read(std::istream & is) override;
 
 	///
-	void write(std::ostream & os) const;
+	void write(std::ostream & os) const override;
 
 	/// Return lastopened container (vector)
 	LastOpened const getfiles() const { return lastopened; }
@@ -148,30 +148,30 @@ public:
 	///
 	struct FilePos {
 		FilePos() : pit(0), pos(0) {}
+		support::FileName file;
 		pit_type pit;
 		pos_type pos;
 	};
 
 	///
-	typedef std::map<support::FileName, FilePos> FilePosMap;
+	typedef std::list<FilePos> FilePosList;
 
 public:
 	///
 	LastFilePosSection() : num_lastfilepos(100) {}
 
 	///
-	void read(std::istream & is);
+	void read(std::istream & is) override;
 
 	///
-	void write(std::ostream & os) const;
+	void write(std::ostream & os) const override;
 
-	/** 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 BufferView is closed.
+	/** add cursor position to the fname entry in the filepos list
+	    @param pos file name and position of the cursor when the BufferView is closed.
 	*/
-	void save(support::FileName const & fname, FilePos const & pos);
+	void save(FilePos const & pos);
 
-	/** load saved cursor position from the fname entry in the filepos map
+	/** load saved cursor position from the fname entry in the filepos list
 	    @param fname file entry for which to load position information
 	*/
 	FilePos load(support::FileName const & fname) const;
@@ -181,8 +181,8 @@ private:
 	unsigned int const num_lastfilepos;
 
 
-	/// a map of file positions
-	FilePosMap lastfilepos;
+	/// a list of file positions
+	FilePosList lastfilepos;
 };
 
 
@@ -253,10 +253,10 @@ public:
 	void clear();
 
 	///
-	void read(std::istream & is);
+	void read(std::istream & is) override;
 
 	///
-	void write(std::ostream & os) const;
+	void write(std::ostream & os) const override;
 
 	/** return bookmark list. Non-const container is used since
 		bookmarks will be cleaned after use.
@@ -283,10 +283,10 @@ public:
 	///
 	LastCommandsSection(unsigned int num);
 	///
-	void read(std::istream & is);
+	void read(std::istream & is) override;
 
 	///
-	void write(std::ostream & os) const;
+	void write(std::ostream & os) const override;
 
 	/// Return lastcommands container (vector)
 	LastCommands const getcommands() const { return lastcommands; }
@@ -327,10 +327,10 @@ public:
 	explicit AuthFilesSection();
 
 	///
-	void read(std::istream & is);
+	void read(std::istream & is) override;
 
 	///
-	void write(std::ostream & os) const;
+	void write(std::ostream & os) const override;
 
 	///
 	bool find(std::string const & name) const;
@@ -351,10 +351,10 @@ public:
 	explicit ShellEscapeSection() {};
 
 	///
-	void read(std::istream & is);
+	void read(std::istream & is) override;
 
 	///
-	void write(std::ostream & os) const;
+	void write(std::ostream & os) const override;
 
 	///
 	bool find(std::string const & name) const;