Account for old versions of Pygments

[lyx.git] / src / Session.h

diff --git a/src/Session.h b/src/Session.h
index 25172b3094f582e4e120f60d4f7dc1124042e3e5..f471f4d28e06e70c9bc083b26dcf6a40de650012 100644 (file)
--- a/src/Session.h
+++ b/src/Session.h
@@ -16,10 +16,9 @@
 #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)
@@ -58,7 +57,7 @@ class LastFilesSection : SessionSection
 {
 public:
        ///
-       typedef std::deque<support::FileName> LastFiles;
+       typedef std::vector<support::FileName> LastFiles;
 
 public:
        ///
@@ -70,10 +69,10 @@ 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
@@ -168,7 +167,7 @@ public:
 
        /** 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);
 
@@ -321,6 +320,27 @@ private:
 };
 
 
+class AuthFilesSection : SessionSection
+{
+public:
+       ///
+       explicit AuthFilesSection();
+
+       ///
+       void read(std::istream & is);
+
+       ///
+       void write(std::ostream & os) const;
+
+       ///
+       std::set<std::string> & authFiles() { return auth_files_; }
+
+private:
+       /// set of document files authorized for external conversion
+       std::set<std::string> auth_files_;
+};
+
+
 class Session
 {
 public:
@@ -349,6 +369,10 @@ public:
        LastCommandsSection & lastCommands() { return last_commands; }
        ///
        LastCommandsSection const & lastCommands() const { return last_commands; }
+       ///
+       AuthFilesSection & authFiles() { return auth_files; }
+       ///
+       AuthFilesSection const & authFiles() const { return auth_files; }
 
 private:
        friend class LyX;
@@ -376,6 +400,8 @@ private:
        BookmarksSection bookmarks_;
        ///
        LastCommandsSection last_commands;
+       ///
+       AuthFilesSection auth_files;
 };
 
 /// This is a singleton class. Get the instance.