2006-04-05 22:56:18 +00:00
|
|
|
/**
|
|
|
|
* \file session.C
|
|
|
|
* This file is part of LyX, the document processor.
|
|
|
|
* Licence details can be found in the file COPYING.
|
|
|
|
*
|
|
|
|
* \author Lars Gullik Bjønnes
|
|
|
|
* \author Bo Peng
|
|
|
|
*
|
|
|
|
* Full author contact details are available in file CREDITS.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <config.h>
|
|
|
|
|
|
|
|
#include "session.h"
|
|
|
|
#include "debug.h"
|
|
|
|
#include "support/package.h"
|
|
|
|
#include "support/filetools.h"
|
|
|
|
|
|
|
|
#include <boost/filesystem/operations.hpp>
|
|
|
|
|
|
|
|
#include <fstream>
|
|
|
|
#include <sstream>
|
|
|
|
#include <algorithm>
|
|
|
|
#include <iterator>
|
|
|
|
|
2006-04-08 22:31:11 +00:00
|
|
|
using lyx::support::addName;
|
2006-04-05 23:56:29 +00:00
|
|
|
using lyx::support::package;
|
2006-04-05 22:56:18 +00:00
|
|
|
|
|
|
|
namespace fs = boost::filesystem;
|
|
|
|
|
|
|
|
using std::vector;
|
|
|
|
using std::getline;
|
|
|
|
using std::string;
|
|
|
|
using std::ifstream;
|
|
|
|
using std::ofstream;
|
2006-10-27 14:18:03 +00:00
|
|
|
using std::istream;
|
|
|
|
using std::ostream;
|
2006-04-05 22:56:18 +00:00
|
|
|
using std::endl;
|
|
|
|
using std::istringstream;
|
|
|
|
using std::copy;
|
|
|
|
using std::find;
|
|
|
|
using std::ostream_iterator;
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
|
|
|
|
string const sec_lastfiles = "[recent files]";
|
|
|
|
string const sec_lastfilepos = "[cursor positions]";
|
|
|
|
string const sec_lastopened = "[last opened files]";
|
|
|
|
string const sec_bookmarks = "[bookmarks]";
|
|
|
|
string const sec_session = "[session info]";
|
2006-11-02 16:01:36 +00:00
|
|
|
string const sec_toolbars = "[toolbars]";
|
2006-04-05 22:56:18 +00:00
|
|
|
|
|
|
|
} // anon namespace
|
|
|
|
|
|
|
|
|
2006-10-21 00:16:43 +00:00
|
|
|
namespace lyx {
|
|
|
|
|
2006-10-27 14:18:03 +00:00
|
|
|
LastFilesSection::LastFilesSection(unsigned int num) :
|
2006-04-05 22:56:18 +00:00
|
|
|
default_num_last_files(4),
|
2006-10-27 14:18:03 +00:00
|
|
|
absolute_max_last_files(100)
|
2006-04-05 22:56:18 +00:00
|
|
|
{
|
|
|
|
setNumberOfLastFiles(num);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-10-27 14:18:03 +00:00
|
|
|
void LastFilesSection::read(istream & is)
|
|
|
|
{
|
|
|
|
string tmp;
|
|
|
|
do {
|
|
|
|
char c = is.peek();
|
|
|
|
if (c == '[')
|
|
|
|
break;
|
|
|
|
getline(is, tmp);
|
2006-11-22 21:00:14 +00:00
|
|
|
if (tmp == "" || tmp[0] == '#' || tmp[0] == ' ')
|
2006-10-27 14:18:03 +00:00
|
|
|
continue;
|
2006-11-22 21:00:14 +00:00
|
|
|
|
|
|
|
// read lastfiles
|
|
|
|
if (fs::exists(tmp) && !fs::is_directory(tmp) && lastfiles.size() < num_lastfiles)
|
|
|
|
lastfiles.push_back(tmp);
|
|
|
|
else
|
|
|
|
lyxerr << "LyX: Warning: Ignore last file: " << tmp << endl;
|
2006-10-27 14:18:03 +00:00
|
|
|
} while (is.good());
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void LastFilesSection::write(ostream & os) const
|
|
|
|
{
|
|
|
|
os << '\n' << sec_lastfiles << '\n';
|
|
|
|
copy(lastfiles.begin(), lastfiles.end(),
|
|
|
|
ostream_iterator<string>(os, "\n"));
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void LastFilesSection::add(string const & file)
|
|
|
|
{
|
|
|
|
// If file already exist, delete it and reinsert at front.
|
|
|
|
LastFiles::iterator it = find(lastfiles.begin(), lastfiles.end(), file);
|
|
|
|
if (it != lastfiles.end())
|
|
|
|
lastfiles.erase(it);
|
|
|
|
lastfiles.push_front(file);
|
|
|
|
if (lastfiles.size() > num_lastfiles)
|
|
|
|
lastfiles.pop_back();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void LastFilesSection::setNumberOfLastFiles(unsigned int no)
|
2006-04-05 22:56:18 +00:00
|
|
|
{
|
|
|
|
if (0 < no && no <= absolute_max_last_files)
|
|
|
|
num_lastfiles = no;
|
|
|
|
else {
|
|
|
|
lyxerr << "LyX: session: too many last files\n"
|
|
|
|
<< "\tdefault (=" << default_num_last_files
|
|
|
|
<< ") used." << endl;
|
|
|
|
num_lastfiles = default_num_last_files;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-10-27 14:18:03 +00:00
|
|
|
void LastOpenedSection::read(istream & is)
|
2006-04-05 22:56:18 +00:00
|
|
|
{
|
|
|
|
string tmp;
|
2006-10-27 14:18:03 +00:00
|
|
|
do {
|
|
|
|
char c = is.peek();
|
|
|
|
if (c == '[')
|
|
|
|
break;
|
|
|
|
getline(is, tmp);
|
2006-11-22 21:00:14 +00:00
|
|
|
if (tmp == "" || tmp[0] == '#' || tmp[0] == ' ')
|
2006-04-05 22:56:18 +00:00
|
|
|
continue;
|
2006-11-22 21:00:14 +00:00
|
|
|
|
|
|
|
if (fs::exists(tmp) && !fs::is_directory(tmp))
|
|
|
|
lastopened.push_back(tmp);
|
|
|
|
else
|
|
|
|
lyxerr << "LyX: Warning: Ignore last opened file: " << tmp << endl;
|
2006-10-27 14:18:03 +00:00
|
|
|
} while (is.good());
|
|
|
|
}
|
2006-04-05 22:56:18 +00:00
|
|
|
|
2006-10-27 14:18:03 +00:00
|
|
|
|
|
|
|
void LastOpenedSection::write(ostream & os) const
|
|
|
|
{
|
|
|
|
os << '\n' << sec_lastopened << '\n';
|
|
|
|
copy(lastopened.begin(), lastopened.end(),
|
|
|
|
ostream_iterator<string>(os, "\n"));
|
2006-04-05 22:56:18 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-10-27 14:18:03 +00:00
|
|
|
void LastOpenedSection::add(string const & file)
|
2006-04-05 22:56:18 +00:00
|
|
|
{
|
2006-10-27 14:18:03 +00:00
|
|
|
lastopened.push_back(file);
|
2006-04-05 22:56:18 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-10-27 14:18:03 +00:00
|
|
|
void LastOpenedSection::clear()
|
2006-04-05 22:56:18 +00:00
|
|
|
{
|
2006-10-27 14:18:03 +00:00
|
|
|
lastopened.clear();
|
2006-04-05 22:56:18 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-10-27 14:18:03 +00:00
|
|
|
void LastFilePosSection::read(istream & is)
|
|
|
|
{
|
|
|
|
string tmp;
|
|
|
|
do {
|
|
|
|
char c = is.peek();
|
|
|
|
if (c == '[')
|
|
|
|
break;
|
|
|
|
getline(is, tmp);
|
2006-11-22 21:00:14 +00:00
|
|
|
if (tmp == "" || tmp[0] == '#' || tmp[0] == ' ')
|
2006-10-27 14:18:03 +00:00
|
|
|
continue;
|
2006-11-22 21:00:14 +00:00
|
|
|
|
|
|
|
try {
|
|
|
|
// read lastfilepos
|
|
|
|
// pos, file\n
|
|
|
|
pit_type pit;
|
|
|
|
pos_type pos;
|
|
|
|
string fname;
|
|
|
|
istringstream itmp(tmp);
|
|
|
|
itmp >> pit;
|
|
|
|
itmp.ignore(2); // ignore ", "
|
|
|
|
itmp >> pos;
|
|
|
|
itmp.ignore(2); // ignore ", "
|
|
|
|
itmp >> fname;
|
|
|
|
if (fs::exists(fname) && !fs::is_directory(fname) && lastfilepos.size() < num_lastfilepos)
|
|
|
|
lastfilepos[fname] = boost::tie(pit, pos);
|
|
|
|
else
|
|
|
|
lyxerr << "LyX: Warning: Ignore pos of last file: " << fname << endl;
|
|
|
|
} catch (...) {
|
|
|
|
lyxerr << "LyX: Warning: unknown pos of last file: " << tmp << endl;
|
|
|
|
}
|
2006-10-27 14:18:03 +00:00
|
|
|
} while (is.good());
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void LastFilePosSection::write(ostream & os) const
|
|
|
|
{
|
|
|
|
os << '\n' << sec_lastfilepos << '\n';
|
|
|
|
for (FilePosMap::const_iterator file = lastfilepos.begin();
|
|
|
|
file != lastfilepos.end(); ++file) {
|
|
|
|
os << file->second.get<0>() << ", "
|
|
|
|
<< file->second.get<1>() << ", "
|
|
|
|
<< file->first << '\n';
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void LastFilePosSection::save(string const & fname, FilePos pos)
|
2006-04-05 22:56:18 +00:00
|
|
|
{
|
|
|
|
lastfilepos[fname] = pos;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-10-27 14:18:03 +00:00
|
|
|
LastFilePosSection::FilePos LastFilePosSection::load(string const & fname) const
|
2006-04-05 22:56:18 +00:00
|
|
|
{
|
|
|
|
FilePosMap::const_iterator entry = lastfilepos.find(fname);
|
|
|
|
// Has position information, return it.
|
|
|
|
if (entry != lastfilepos.end())
|
|
|
|
return entry->second;
|
|
|
|
// Not found, return the first paragraph
|
2006-04-05 23:56:29 +00:00
|
|
|
else
|
2006-04-05 22:56:18 +00:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-10-27 14:18:03 +00:00
|
|
|
void BookmarksSection::read(istream & is)
|
2006-04-05 22:56:18 +00:00
|
|
|
{
|
2006-10-27 14:18:03 +00:00
|
|
|
string tmp;
|
|
|
|
do {
|
|
|
|
char c = is.peek();
|
|
|
|
if (c == '[')
|
|
|
|
break;
|
|
|
|
getline(is, tmp);
|
2006-11-22 21:00:14 +00:00
|
|
|
if (tmp == "" || tmp[0] == '#' || tmp[0] == ' ')
|
|
|
|
continue;
|
|
|
|
|
|
|
|
try {
|
|
|
|
// read bookmarks
|
|
|
|
// id, pos, file\n
|
|
|
|
unsigned int id;
|
|
|
|
pos_type pos;
|
|
|
|
string fname;
|
|
|
|
istringstream itmp(tmp);
|
|
|
|
itmp >> id;
|
|
|
|
itmp.ignore(2); // ignore ", "
|
|
|
|
itmp >> pos;
|
|
|
|
itmp.ignore(2); // ignore ", "
|
|
|
|
itmp >> fname;
|
|
|
|
// only load valid bookmarks
|
|
|
|
if (fs::exists(fname) && !fs::is_directory(fname) && bookmarks.size() < max_bookmarks)
|
|
|
|
bookmarks.push_back(Bookmark(fname, id, pos));
|
|
|
|
else
|
|
|
|
lyxerr << "LyX: Warning: Ignore bookmark of file: " << fname << endl;
|
|
|
|
} catch (...) {
|
|
|
|
lyxerr << "LyX: Warning: unknown Bookmark info: " << tmp << endl;
|
|
|
|
}
|
2006-10-27 14:18:03 +00:00
|
|
|
} while (is.good());
|
2006-04-05 22:56:18 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-10-27 14:18:03 +00:00
|
|
|
void BookmarksSection::write(ostream & os) const
|
2006-04-05 22:56:18 +00:00
|
|
|
{
|
2006-10-27 14:18:03 +00:00
|
|
|
os << '\n' << sec_bookmarks << '\n';
|
2006-11-01 15:55:17 +00:00
|
|
|
for (size_t i = 0; i < bookmarks.size(); ++i) {
|
|
|
|
os << bookmarks[i].par_id << ", "
|
|
|
|
<< bookmarks[i].par_pos << ", "
|
|
|
|
<< bookmarks[i].filename << '\n';
|
2006-10-27 14:18:03 +00:00
|
|
|
}
|
2006-04-05 22:56:18 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-11-01 15:55:17 +00:00
|
|
|
void BookmarksSection::save(std::string const & fname, int par_id, pos_type par_pos, bool persistent)
|
|
|
|
{
|
|
|
|
if (persistent) {
|
|
|
|
bookmarks.push_front(Bookmark(fname, par_id, par_pos));
|
|
|
|
if (bookmarks.size() > max_bookmarks)
|
|
|
|
bookmarks.pop_back();
|
|
|
|
}
|
|
|
|
else
|
|
|
|
temp_bookmark = Bookmark(fname, par_id, par_pos);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
bool BookmarksSection::isValid(unsigned int i) const
|
2006-04-05 22:56:18 +00:00
|
|
|
{
|
2006-11-01 15:55:17 +00:00
|
|
|
// i == 0, or in the queue
|
|
|
|
return i <= bookmarks.size();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
BookmarksSection::Bookmark const & BookmarksSection::bookmark(unsigned int i) const
|
|
|
|
{
|
|
|
|
if (i == 0)
|
|
|
|
return temp_bookmark;
|
|
|
|
else
|
|
|
|
return bookmarks[i-1];
|
2006-04-05 22:56:18 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-11-02 16:01:36 +00:00
|
|
|
void ToolbarSection::read(istream & is)
|
|
|
|
{
|
|
|
|
string tmp;
|
|
|
|
do {
|
|
|
|
char c = is.peek();
|
|
|
|
if (c == '[')
|
|
|
|
break;
|
|
|
|
getline(is, tmp);
|
2006-11-22 21:00:14 +00:00
|
|
|
if (tmp == "" || tmp[0] == '#' || tmp[0] == ' ')
|
|
|
|
continue;
|
2006-11-02 16:01:36 +00:00
|
|
|
|
2006-11-22 21:00:14 +00:00
|
|
|
try {
|
|
|
|
// Read session info, saved as key/value pairs
|
|
|
|
// would better yell if pos returns npos
|
|
|
|
string::size_type pos = tmp.find_first_of(" = ");
|
|
|
|
// silently ignore lines without " = "
|
|
|
|
if (pos != string::npos) {
|
|
|
|
string key = tmp.substr(0, pos);
|
|
|
|
int state;
|
|
|
|
int location;
|
|
|
|
istringstream value(tmp.substr(pos + 3));
|
|
|
|
value >> state;
|
|
|
|
value.ignore(1); // ignore " "
|
|
|
|
value >> location;
|
|
|
|
toolbars[key] = ToolbarInfo(state, location);
|
|
|
|
} else
|
|
|
|
lyxerr << "LyX: Warning: Ignore toolbar info: " << tmp << endl;
|
|
|
|
} catch (...) {
|
|
|
|
lyxerr << "LyX: Warning: unknown Toolbar info: " << tmp << endl;
|
2006-11-02 16:01:36 +00:00
|
|
|
}
|
|
|
|
} while (is.good());
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void ToolbarSection::write(ostream & os) const
|
|
|
|
{
|
|
|
|
os << '\n' << sec_toolbars << '\n';
|
|
|
|
for (ToolbarMap::const_iterator tb = toolbars.begin();
|
|
|
|
tb != toolbars.end(); ++tb) {
|
|
|
|
os << tb->first << " = "
|
|
|
|
<< static_cast<int>(tb->second.state) << " "
|
|
|
|
<< static_cast<int>(tb->second.location) << '\n';
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
ToolbarSection::ToolbarInfo & ToolbarSection::load(string const & name)
|
|
|
|
{
|
|
|
|
return toolbars[name];
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-10-27 14:18:03 +00:00
|
|
|
void SessionInfoSection::read(istream & is)
|
|
|
|
{
|
|
|
|
string tmp;
|
|
|
|
do {
|
|
|
|
char c = is.peek();
|
|
|
|
if (c == '[')
|
|
|
|
break;
|
|
|
|
getline(is, tmp);
|
2006-11-22 21:00:14 +00:00
|
|
|
if (tmp == "" || tmp[0] == '#' || tmp[0] == ' ')
|
|
|
|
continue;
|
2006-10-27 14:18:03 +00:00
|
|
|
|
2006-11-22 21:00:14 +00:00
|
|
|
try {
|
|
|
|
// Read session info, saved as key/value pairs
|
|
|
|
// would better yell if pos returns npos
|
|
|
|
string::size_type pos = tmp.find_first_of(" = ");
|
|
|
|
// silently ignore lines without " = "
|
|
|
|
if (pos != string::npos) {
|
|
|
|
string key = tmp.substr(0, pos);
|
|
|
|
string value = tmp.substr(pos + 3);
|
|
|
|
sessioninfo[key] = value;
|
|
|
|
} else
|
|
|
|
lyxerr << "LyX: Warning: Ignore session info: " << tmp << endl;
|
|
|
|
} catch (...) {
|
|
|
|
lyxerr << "LyX: Warning: unknown Session info: " << tmp << endl;
|
2006-10-27 14:18:03 +00:00
|
|
|
}
|
|
|
|
} while (is.good());
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void SessionInfoSection::write(ostream & os) const
|
|
|
|
{
|
|
|
|
os << '\n' << sec_session << '\n';
|
|
|
|
for (MiscInfo::const_iterator val = sessioninfo.begin();
|
|
|
|
val != sessioninfo.end(); ++val) {
|
|
|
|
os << val->first << " = " << val->second << '\n';
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void SessionInfoSection::save(string const & key, string const & value)
|
2006-04-05 22:56:18 +00:00
|
|
|
{
|
|
|
|
sessioninfo[key] = value;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-10-27 14:18:03 +00:00
|
|
|
string const SessionInfoSection::load(string const & key, bool release)
|
2006-04-05 22:56:18 +00:00
|
|
|
{
|
|
|
|
MiscInfo::const_iterator pos = sessioninfo.find(key);
|
|
|
|
string value;
|
|
|
|
if (pos != sessioninfo.end())
|
|
|
|
value = pos->second;
|
|
|
|
if (release)
|
|
|
|
sessioninfo.erase(key);
|
|
|
|
return value;
|
|
|
|
}
|
|
|
|
|
2006-10-27 14:18:03 +00:00
|
|
|
|
|
|
|
Session::Session(unsigned int num) :
|
|
|
|
last_files(num)
|
|
|
|
{
|
|
|
|
// locate the session file
|
|
|
|
// note that the session file name 'session' is hard-coded
|
|
|
|
session_file = addName(package().user_support(), "session");
|
|
|
|
//
|
|
|
|
readFile();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void Session::readFile()
|
|
|
|
{
|
|
|
|
// we will not complain if we can't find session_file nor will
|
|
|
|
// we issue a warning. (Lgb)
|
|
|
|
ifstream is(session_file.c_str());
|
|
|
|
string tmp;
|
|
|
|
|
|
|
|
while (getline(is, tmp)) {
|
|
|
|
// Ignore comments, empty line or line stats with ' '
|
|
|
|
if (tmp == "" || tmp[0] == '#' || tmp[0] == ' ')
|
|
|
|
continue;
|
|
|
|
|
|
|
|
// Determine section id
|
|
|
|
if (tmp == sec_lastfiles)
|
2006-10-29 20:01:00 +00:00
|
|
|
lastFiles().read(is);
|
2006-10-27 14:18:03 +00:00
|
|
|
else if (tmp == sec_lastopened)
|
2006-10-29 20:01:00 +00:00
|
|
|
lastOpened().read(is);
|
2006-10-27 14:18:03 +00:00
|
|
|
else if (tmp == sec_lastfilepos)
|
2006-10-29 20:01:00 +00:00
|
|
|
lastFilePos().read(is);
|
2006-10-27 14:18:03 +00:00
|
|
|
else if (tmp == sec_bookmarks)
|
2006-10-29 20:01:00 +00:00
|
|
|
bookmarks().read(is);
|
2006-11-02 16:01:36 +00:00
|
|
|
else if (tmp == sec_toolbars)
|
|
|
|
toolbars().read(is);
|
2006-10-27 14:18:03 +00:00
|
|
|
else if (tmp == sec_session)
|
2006-10-29 20:01:00 +00:00
|
|
|
sessionInfo().read(is);
|
2006-10-27 14:18:03 +00:00
|
|
|
else
|
|
|
|
lyxerr << "LyX: Warning: unknown Session section: " << tmp << endl;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void Session::writeFile() const
|
|
|
|
{
|
|
|
|
ofstream os(session_file.c_str());
|
|
|
|
if (os) {
|
|
|
|
os << "## Automatically generated lyx session file \n"
|
|
|
|
<< "## Editing this file manually may cause lyx to crash.\n";
|
|
|
|
|
2006-10-29 20:01:00 +00:00
|
|
|
lastFiles().write(os);
|
|
|
|
lastOpened().write(os);
|
|
|
|
lastFilePos().write(os);
|
|
|
|
bookmarks().write(os);
|
2006-11-02 16:01:36 +00:00
|
|
|
toolbars().write(os);
|
2006-10-29 20:01:00 +00:00
|
|
|
sessionInfo().write(os);
|
2006-10-27 14:18:03 +00:00
|
|
|
} else
|
|
|
|
lyxerr << "LyX: Warning: unable to save Session: "
|
|
|
|
<< session_file << endl;
|
|
|
|
}
|
|
|
|
|
2006-04-05 22:56:18 +00:00
|
|
|
}
|