]> git.lyx.org Git - lyx.git/blobdiff - src/session.h
hopefully fix tex2lyx linking.
[lyx.git] / src / session.h
index 5458211206f53ff28c9d87e7575eb448c1bea62e..aa8d63a7951f2f4ab3d8b830e34c2266a000d26e 100644 (file)
@@ -35,33 +35,40 @@ const long maxlastfiles = 20;
  */
 namespace lyx {
 
-class Session : boost::noncopyable {
+/** base class for all sections in the session file
+*/
+class SessionSection : boost::noncopyable {
 
 public:
        ///
-       typedef boost::tuple<lyx::pit_type, lyx::pos_type> FilePos;
-       ///
-       typedef std::map<std::string, FilePos> FilePosMap;
+       virtual ~SessionSection() {}
+
+       /// read section from std::istream
+       virtual void read(std::istream & is) = 0;
+
+       /// write to std::ostream
+       virtual void write(std::ostream & os) const = 0;
+};
+
+
+class LastFilesSection : SessionSection
+{
+public:
        ///
        typedef std::deque<std::string> LastFiles;
+
+public:
        ///
-       typedef std::vector<std::string> LastOpened;
-       ///
-       typedef boost::tuple<unsigned int, std::string, unsigned int, lyx::pos_type> Bookmark;
-       ///
-       typedef std::vector<Bookmark> BookmarkList;
+       explicit LastFilesSection(unsigned int num = 4);
+
        ///
-       typedef std::map<std::string, std::string> MiscInfo;
+       void read(std::istream & is);
 
-public:
-       /** Read the session file.
-           @param num length of lastfiles
-       */
-       explicit Session(unsigned int num = 4);
+       ///
+       void write(std::ostream & os) const;
 
-       /** Write the session file.
-       */
-       void writeFile() const;
+       /// Return lastfiles container (deque)
+       LastFiles const lastFiles() const { return lastfiles; }
 
        /** Insert #file# into the lastfile dequeue.
            This funtion inserts #file# into the last files list. If the file
@@ -70,86 +77,309 @@ public:
            file in the list is popped from the end.
            @param file the file to insert in the lastfile list.
        */
-       void addLastFile(std::string const & file);
+       void add(std::string const & file);
 
-       /** 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.
+private:
+       /// Default number of lastfiles.
+       unsigned int const default_num_last_files;
+
+       /// Max number of lastfiles.
+       unsigned int const absolute_max_last_files;
+
+       /// a list of lastfiles
+       LastFiles lastfiles;
+
+       /// number of files in the lastfiles list.
+       unsigned int num_lastfiles;
+
+       /** Used by the constructor to set the number of stored last files.
+           @param num the number of lastfiles to set.
        */
-       void saveFilePosition(std::string const & fname, FilePos pos);
+       void setNumberOfLastFiles(unsigned int num);
+};
 
-       /** clear lastopened file list
-        */
-       void clearLastOpenedFiles();
+
+class LastOpenedSection : SessionSection
+{
+public:
+       ///
+       typedef std::vector<std::string> LastOpened;
+
+public:
+       ///
+       void read(std::istream & is);
+
+       ///
+       void write(std::ostream & os) const;
+
+       /// Return lastopened container (vector)
+       LastOpened const getfiles() const { return lastopened; }
 
        /** add file to lastopened file list
            @param file filename to add
        */
-       void addLastOpenedFile(std::string const & file);
+       void add(std::string const & file);
+
+       /** clear lastopened file list
+        */
+       void clear();
+
+private:
+       /// a list of lastopened files
+       LastOpened lastopened;
+};
+
+
+class LastFilePosSection : SessionSection
+{
+public:
+       ///
+       typedef boost::tuple<pit_type, pos_type> FilePos;
+
+       ///
+       typedef std::map<std::string, FilePos> FilePosMap;
+
+public:
+       ///
+       LastFilePosSection() : num_lastfilepos(100) {}
+
+       ///
+       void read(std::istream & is);
+
+       ///
+       void write(std::ostream & os) const;
+
+       /** 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.
+       */
+       void save(std::string const & fname, FilePos pos);
 
        /** load saved cursor position from the fname entry in the filepos map
            @param fname file entry for which to load position information
        */
-       FilePos loadFilePosition(std::string const & fname) const;
+       FilePos load(std::string const & fname) const;
 
-       /// Return lastfiles container (deque)
-       LastFiles const lastFiles() const { return lastfiles; }
+private:
+       /// default number of lastfilepos to save */
+       unsigned int const num_lastfilepos;
 
-       /// Return lastopened container (vector)
-       LastOpened const lastOpenedFiles() const { return lastopened; }
 
-       /** save a bookmark
-               @bookmark bookmark to be saved
-       */
-       void saveBookmark(Bookmark const & bookmark);
+       /// a map of file positions
+       FilePosMap lastfilepos;
+};
+
+
+class BookmarksSection : SessionSection
+{
+public:
+       /// bookmarks
+       class Bookmark {
+       public:
+               /// Filename
+               std::string filename;
+               /// Cursor paragraph Id
+               int par_id;
+               /// Cursor position
+               pos_type par_pos;
+               ///
+               Bookmark() : par_id(0), par_pos(0) {}
+               ///
+               Bookmark(std::string const & f, int id, pos_type pos)
+                       : filename(f), par_id(id), par_pos(pos) {}
+       };
+
+       ///
+       typedef std::deque<Bookmark> BookmarkList;
+
+public:
+       /// constructor, set max_bookmarks
+       /// allow 20 regular bookmarks
+       BookmarksSection() : bookmarks(0), max_bookmarks(20) {}
+
+       /// Save the current position as bookmark
+       /// if save==false, save to temp_bookmark
+       void save(std::string const & fname, int par_id, pos_type par_pos, bool persistent);
+
+       /// return bookmark, return temp_bookmark if i==0
+       Bookmark const & bookmark(unsigned int i) const;
+
+       /// does the given bookmark have a saved position ?
+       bool isValid(unsigned int i) const;
+
+       ///
+       unsigned int size() const { return bookmarks.size(); }
+
+       /// clear all bookmarks
+       void clear() { bookmarks.clear(); }
+
+       ///
+       void read(std::istream & is);
+
+       ///
+       void write(std::ostream & os) const;
 
        /** return bookmark list. Non-const container is used since
                bookmarks will be cleaned after use.
        */
-       BookmarkList & loadBookmarks() { return bookmarks; }
+       BookmarkList & load() { return bookmarks; }
+
+private:
+       /// temp bookmark (previously saved_positions[0]), this is really ugly
+       /// c.f. ./frontends/controllers/ControlRef.C
+       /// FIXME: a separate LFUN may be a better solution
+       Bookmark temp_bookmark;
+
+       /// a list of bookmarks
+       BookmarkList bookmarks;
+
+       ///
+       unsigned int const max_bookmarks;
+};
+
+
+class ToolbarSection : SessionSection
+{
+public:
+       /// information about a toolbar, not all information can be
+       /// saved/restored by all frontends, but this class provides
+       /// a superset of things that can be managed by session.
+       class ToolbarInfo
+       {
+       public:
+               ///
+               ToolbarInfo() :
+                       state(ON), location(NOTSET) { }
+               ///
+               ToolbarInfo(int s, int loc) :
+                       state(static_cast<State>(s)), location(static_cast<Location>(loc)) { }
+
+       public:
+               enum State {
+                       ON,
+                       OFF,
+                       AUTO
+               };
+
+               /// on/off/auto
+               State state;
+
+               /// location: this can be intepreted differently.
+               enum Location {
+                       TOP,
+                       BOTTOM,
+                       LEFT,
+                       RIGHT,
+                       NOTSET
+               };
+
+               Location location;
+
+               /// potentially, icons
+       };
+
+       /// info for each toolbar
+       typedef std::map<std::string, ToolbarInfo> ToolbarMap;
+
+public:
+       ///
+       void read(std::istream & is);
+
+       ///
+       void write(std::ostream & os) const;
+
+       /// return reference to toolbar info, create a new one if needed
+       ToolbarInfo & load(std::string const & name);
+
+private:
+       /// toolbar information
+       ToolbarMap toolbars;
+};
+
+
+class SessionInfoSection : SessionSection
+{
+public:
+       ///
+       typedef std::map<std::string, std::string> MiscInfo;
+
+public:
+       ///
+       void read(std::istream & is);
+
+       ///
+       void write(std::ostream & os) const;
 
        /** set session info
                @param key key of the value to store
                @param value value, a string without newline ('\n')
        */
-       void saveSessionInfo(std::string const & key, std::string const & value);
+       void save(std::string const & key, std::string const & value);
 
        /** load session info
                @param key a key to extract value from the session file
                @param release whether or not clear the value. Default to true
                        since most of such values are supposed to be used only once.
        */
-       std::string const loadSessionInfo(std::string const & key, bool release = true);
+       std::string const load(std::string const & key, bool release = true);
+
 private:
-       /// Default number of lastfiles.
-       unsigned int const default_num_last_files;
+       /// a map to save session info
+       MiscInfo sessioninfo;
+};
 
-       /// Max number of lastfiles.
-       unsigned int const absolute_max_last_files;
 
-       /// default number of lastfilepos to save */
-       unsigned int const num_lastfilepos;
+class Session : boost::noncopyable {
 
-       /// file to save session, determined in the constructor.
-       std::string session_file;
+public:
+       /** Read the session file.
+           @param num length of lastfiles
+       */
+       explicit Session(unsigned int num = 4);
 
-       /// a list of lastfiles
-       LastFiles lastfiles;
+       /** Write the session file.
+       */
+       void writeFile() const;
 
-       /// a list of bookmarks
-       BookmarkList bookmarks;
+       ///
+       LastFilesSection & lastFiles() { return last_files; }
+       
+       ///
+       LastFilesSection const & lastFiles() const { return last_files; }
 
-       /// a map to save session info
-       MiscInfo sessioninfo;
+       ///
+       LastOpenedSection & lastOpened() { return last_opened; }
 
-       /// number of files in the lastfiles list.
-       unsigned int num_lastfiles;
+       ///
+       LastOpenedSection const & lastOpened() const { return last_opened; }
+       
+       ///
+       LastFilePosSection & lastFilePos() { return last_file_pos; }
+       
+       ///
+       LastFilePosSection const & lastFilePos() const { return last_file_pos; }
 
-       /// a map of file positions
-       FilePosMap lastfilepos;
+       ///
+       BookmarksSection & bookmarks() { return bookmarks_; }
 
-       /// a list of lastopened files
-       LastOpened lastopened;
+       ///
+       BookmarksSection const & bookmarks() const { return bookmarks_; }
+
+       ///
+       ToolbarSection & toolbars() { return toolbars_; }
+
+       ///
+       ToolbarSection const & toolbars() const { return toolbars_; }
+
+       ///
+       SessionInfoSection & sessionInfo() { return session_info; }
+
+       ///
+       SessionInfoSection const & sessionInfo() const { return session_info; }
+
+private:
+       /// file to save session, determined in the constructor.
+       std::string session_file;
 
        /** Read the session file.
            Reads the #.lyx/session# at the beginning of the LyX session.
@@ -158,10 +388,23 @@ private:
        */
        void readFile();
 
-       /** Used by the constructor to set the number of stored last files.
-           @param num the number of lastfiles to set.
-       */
-       void setNumberOfLastFiles(unsigned int num);
+       ///
+       LastFilesSection last_files;
+
+       ///
+       LastOpenedSection last_opened;
+
+       ///
+       LastFilePosSection last_file_pos;
+
+       ///
+       BookmarksSection bookmarks_;
+
+       ///
+       ToolbarSection toolbars_;
+
+       ///
+       SessionInfoSection session_info;
 };
 
 }