2006-04-05 22:56:18 +00:00
|
|
|
/**
|
2007-04-26 04:41:58 +00:00
|
|
|
* \file Session.cpp
|
2006-04-05 22:56:18 +00:00
|
|
|
* This file is part of LyX, the document processor.
|
|
|
|
* Licence details can be found in the file COPYING.
|
|
|
|
*
|
2008-11-14 15:58:50 +00:00
|
|
|
* \author Lars Gullik Bjønnes
|
2006-04-05 22:56:18 +00:00
|
|
|
* \author Bo Peng
|
|
|
|
*
|
|
|
|
* Full author contact details are available in file CREDITS.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <config.h>
|
|
|
|
|
2007-04-26 04:41:58 +00:00
|
|
|
#include "Session.h"
|
2008-02-18 07:14:42 +00:00
|
|
|
|
2007-11-29 07:04:28 +00:00
|
|
|
#include "support/debug.h"
|
2006-04-05 22:56:18 +00:00
|
|
|
#include "support/filetools.h"
|
2008-02-18 07:14:42 +00:00
|
|
|
#include "support/Package.h"
|
2006-04-05 22:56:18 +00:00
|
|
|
|
|
|
|
#include <fstream>
|
|
|
|
#include <sstream>
|
|
|
|
#include <algorithm>
|
|
|
|
#include <iterator>
|
|
|
|
|
2007-12-12 10:16:00 +00:00
|
|
|
using namespace std;
|
2007-12-12 19:57:42 +00:00
|
|
|
using namespace lyx::support;
|
2006-04-05 22:56:18 +00:00
|
|
|
|
|
|
|
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]";
|
2009-01-18 21:50:23 +00:00
|
|
|
string const sec_lastcommands = "[last commands]";
|
2016-11-23 21:17:13 +00:00
|
|
|
string const sec_authfiles = "[auth files]";
|
2017-08-03 11:07:41 +00:00
|
|
|
string const sec_shellescape = "[shell escape files]";
|
2023-04-26 18:03:57 +00:00
|
|
|
// currently unused:
|
|
|
|
//string const sec_session = "[session info]";
|
|
|
|
//string const sec_toolbars = "[toolbars]";
|
2006-04-05 22:56:18 +00:00
|
|
|
|
2017-07-23 11:11:54 +00:00
|
|
|
} // namespace
|
2006-04-05 22:56:18 +00:00
|
|
|
|
|
|
|
|
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);
|
2009-05-02 17:12:31 +00:00
|
|
|
if (tmp.empty() || tmp[0] == '#' || tmp[0] == ' ' || !FileName::isAbsolute(tmp))
|
2006-10-27 14:18:03 +00:00
|
|
|
continue;
|
2007-05-28 22:27:45 +00:00
|
|
|
|
2006-11-22 21:00:14 +00:00
|
|
|
// read lastfiles
|
2009-05-02 17:12:31 +00:00
|
|
|
FileName const file(tmp);
|
2007-10-18 21:10:35 +00:00
|
|
|
if (file.exists() && !file.isDirectory()
|
|
|
|
&& lastfiles.size() < num_lastfiles)
|
2006-12-02 16:07:15 +00:00
|
|
|
lastfiles.push_back(file);
|
2007-05-28 22:27:45 +00:00
|
|
|
else
|
2007-11-15 20:04:51 +00:00
|
|
|
LYXERR(Debug::INIT, "LyX: Warning: Ignore last file: " << tmp);
|
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(),
|
2006-12-02 16:07:15 +00:00
|
|
|
ostream_iterator<FileName>(os, "\n"));
|
2006-10-27 14:18:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-12-02 16:07:15 +00:00
|
|
|
void LastFilesSection::add(FileName const & file)
|
2006-10-27 14:18:03 +00:00
|
|
|
{
|
|
|
|
// 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);
|
2010-12-04 23:18:52 +00:00
|
|
|
lastfiles.insert(lastfiles.begin(), file);
|
2006-10-27 14:18:03 +00:00
|
|
|
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 {
|
2007-11-15 20:04:51 +00:00
|
|
|
LYXERR(Debug::INIT, "LyX: session: too many last files\n"
|
|
|
|
<< "\tdefault (=" << default_num_last_files << ") used.");
|
2006-04-05 22:56:18 +00:00
|
|
|
num_lastfiles = default_num_last_files;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2008-10-19 07:09:05 +00:00
|
|
|
void LastOpenedSection::read(istream & is)
|
2006-04-05 22:56:18 +00:00
|
|
|
{
|
2008-10-19 07:09:05 +00:00
|
|
|
string tmp;
|
|
|
|
do {
|
|
|
|
char c = is.peek();
|
|
|
|
if (c == '[')
|
|
|
|
break;
|
|
|
|
getline(is, tmp);
|
2009-05-05 12:47:44 +00:00
|
|
|
if (tmp.empty() || tmp[0] == '#' || tmp[0] == ' ')
|
2008-10-19 07:09:05 +00:00
|
|
|
continue;
|
|
|
|
|
2009-05-05 12:47:44 +00:00
|
|
|
try {
|
|
|
|
LastOpenedFile lof;
|
|
|
|
istringstream itmp(tmp);
|
|
|
|
itmp >> lof.active;
|
|
|
|
itmp.ignore(2); // ignore ", "
|
|
|
|
string fname;
|
|
|
|
getline(itmp, fname);
|
|
|
|
if (!FileName::isAbsolute(fname))
|
|
|
|
continue;
|
|
|
|
|
|
|
|
FileName const file(fname);
|
|
|
|
if (file.exists() && !file.isDirectory()) {
|
|
|
|
lof.file_name = file;
|
|
|
|
lastopened.push_back(lof);
|
|
|
|
} else {
|
2017-07-03 17:53:14 +00:00
|
|
|
LYXERR(Debug::INIT,
|
2009-05-05 12:47:44 +00:00
|
|
|
"LyX: Warning: Ignore last opened file: " << tmp);
|
|
|
|
}
|
|
|
|
} catch (...) {
|
|
|
|
LYXERR(Debug::INIT,
|
|
|
|
"LyX: Warning: unknown state of last opened file: " << tmp);
|
|
|
|
}
|
2008-10-19 07:09:05 +00:00
|
|
|
} while (is.good());
|
2006-10-27 14:18:03 +00:00
|
|
|
}
|
2006-04-05 22:56:18 +00:00
|
|
|
|
2006-10-27 14:18:03 +00:00
|
|
|
|
2008-10-19 07:09:05 +00:00
|
|
|
void LastOpenedSection::write(ostream & os) const
|
2006-10-27 14:18:03 +00:00
|
|
|
{
|
2008-10-19 07:09:05 +00:00
|
|
|
os << '\n' << sec_lastopened << '\n';
|
2020-10-09 06:04:20 +00:00
|
|
|
for (auto const & last : lastopened)
|
|
|
|
os << last.active << ", " << last.file_name << '\n';
|
2006-04-05 22:56:18 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2009-05-05 12:47:44 +00:00
|
|
|
void LastOpenedSection::add(FileName const & file, bool active)
|
2006-04-05 22:56:18 +00:00
|
|
|
{
|
2009-05-05 12:47:44 +00:00
|
|
|
LastOpenedFile lof(file, active);
|
2015-04-06 07:55:07 +00:00
|
|
|
// check if file is already recorded (this can happen
|
|
|
|
// with multiple buffer views). We do only record each
|
|
|
|
// file once, since we cannot restore multiple views
|
|
|
|
// currently, we even crash in some cases (see #9483).
|
|
|
|
// FIXME: Add session support for multiple views of
|
|
|
|
// the same buffer (split-view etc.).
|
2020-10-09 06:04:20 +00:00
|
|
|
for (auto const & last : lastopened) {
|
|
|
|
if (last.file_name == file)
|
2015-04-06 07:55:07 +00:00
|
|
|
return;
|
|
|
|
}
|
2009-05-05 12:47:44 +00:00
|
|
|
lastopened.push_back(lof);
|
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
|
2007-11-02 19:59:08 +00:00
|
|
|
FilePos filepos;
|
2006-11-22 21:00:14 +00:00
|
|
|
string fname;
|
|
|
|
istringstream itmp(tmp);
|
2007-11-02 19:59:08 +00:00
|
|
|
itmp >> filepos.pit;
|
2006-11-22 21:00:14 +00:00
|
|
|
itmp.ignore(2); // ignore ", "
|
2007-11-02 19:59:08 +00:00
|
|
|
itmp >> filepos.pos;
|
2006-11-22 21:00:14 +00:00
|
|
|
itmp.ignore(2); // ignore ", "
|
2007-01-17 05:35:03 +00:00
|
|
|
getline(itmp, fname);
|
2009-05-02 17:12:31 +00:00
|
|
|
if (!FileName::isAbsolute(fname))
|
2007-12-17 15:15:37 +00:00
|
|
|
continue;
|
2019-10-20 09:47:04 +00:00
|
|
|
filepos.file = FileName(fname);
|
|
|
|
if (filepos.file.exists() && !filepos.file.isDirectory()
|
2007-10-18 21:10:35 +00:00
|
|
|
&& lastfilepos.size() < num_lastfilepos)
|
2019-10-20 09:47:04 +00:00
|
|
|
lastfilepos.push_back(filepos);
|
2006-11-22 21:00:14 +00:00
|
|
|
else
|
2007-11-15 20:04:51 +00:00
|
|
|
LYXERR(Debug::INIT, "LyX: Warning: Ignore pos of last file: " << fname);
|
2006-11-22 21:00:14 +00:00
|
|
|
} catch (...) {
|
2007-11-15 20:04:51 +00:00
|
|
|
LYXERR(Debug::INIT, "LyX: Warning: unknown pos of last file: " << tmp);
|
2006-11-22 21:00:14 +00:00
|
|
|
}
|
2006-10-27 14:18:03 +00:00
|
|
|
} while (is.good());
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void LastFilePosSection::write(ostream & os) const
|
|
|
|
{
|
|
|
|
os << '\n' << sec_lastfilepos << '\n';
|
2019-10-20 09:47:04 +00:00
|
|
|
for (auto const & file_p : lastfilepos)
|
|
|
|
os << file_p.pit << ", " << file_p.pos << ", " << file_p.file << '\n';
|
2006-10-27 14:18:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2019-10-20 09:47:04 +00:00
|
|
|
void LastFilePosSection::save(FilePos const & pos)
|
2006-04-05 22:56:18 +00:00
|
|
|
{
|
2019-10-20 09:47:04 +00:00
|
|
|
// Remove element if it was already present. Iterating should
|
|
|
|
// not be a problem since the list is small (<100 elements).
|
2019-11-06 09:36:21 +00:00
|
|
|
for (FilePosList::iterator it = lastfilepos.begin();
|
2019-10-20 09:47:04 +00:00
|
|
|
it != lastfilepos.end(); ++it)
|
|
|
|
if (it->file == pos.file) {
|
|
|
|
lastfilepos.erase(it);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
// insert new element at front.
|
|
|
|
lastfilepos.push_front(pos);
|
2006-04-05 22:56:18 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-12-02 16:07:15 +00:00
|
|
|
LastFilePosSection::FilePos LastFilePosSection::load(FileName const & fname) const
|
2006-04-05 22:56:18 +00:00
|
|
|
{
|
2019-11-06 09:36:21 +00:00
|
|
|
for (auto const & fp : lastfilepos)
|
2019-10-20 09:47:04 +00:00
|
|
|
if (fp.file == fname)
|
|
|
|
// Has position information, return it.
|
|
|
|
return fp;
|
|
|
|
|
2006-04-05 22:56:18 +00:00
|
|
|
// Not found, return the first paragraph
|
2007-11-02 19:59:08 +00:00
|
|
|
return FilePos();
|
2006-04-05 22:56:18 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2007-03-29 03:41:55 +00:00
|
|
|
void BookmarksSection::clear()
|
|
|
|
{
|
|
|
|
// keep bookmark[0], the temporary one
|
|
|
|
bookmarks.resize(1);
|
|
|
|
bookmarks.resize(max_bookmarks + 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
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
|
2007-03-29 03:41:55 +00:00
|
|
|
// idx, pit, pos, file\n
|
|
|
|
unsigned int idx;
|
2007-01-11 16:01:10 +00:00
|
|
|
pit_type pit;
|
2006-11-22 21:00:14 +00:00
|
|
|
pos_type pos;
|
|
|
|
string fname;
|
|
|
|
istringstream itmp(tmp);
|
2007-03-29 03:41:55 +00:00
|
|
|
itmp >> idx;
|
|
|
|
itmp.ignore(2); // ignore ", "
|
2007-01-11 16:01:10 +00:00
|
|
|
itmp >> pit;
|
2006-11-22 21:00:14 +00:00
|
|
|
itmp.ignore(2); // ignore ", "
|
|
|
|
itmp >> pos;
|
|
|
|
itmp.ignore(2); // ignore ", "
|
2007-01-17 05:35:03 +00:00
|
|
|
getline(itmp, fname);
|
2009-05-02 17:12:31 +00:00
|
|
|
if (!FileName::isAbsolute(fname))
|
2007-12-17 15:15:37 +00:00
|
|
|
continue;
|
2009-05-02 17:12:31 +00:00
|
|
|
FileName const file(fname);
|
2006-11-22 21:00:14 +00:00
|
|
|
// only load valid bookmarks
|
2021-01-06 13:18:25 +00:00
|
|
|
if (file.exists() && !file.isDirectory() && idx < bookmarks.size())
|
2007-04-16 19:01:32 +00:00
|
|
|
bookmarks[idx] = Bookmark(file, pit, pos, 0, 0);
|
2006-12-02 16:07:15 +00:00
|
|
|
else
|
2007-11-15 20:04:51 +00:00
|
|
|
LYXERR(Debug::INIT, "LyX: Warning: Ignore bookmark of file: " << fname);
|
2006-11-22 21:00:14 +00:00
|
|
|
} catch (...) {
|
2007-11-15 20:04:51 +00:00
|
|
|
LYXERR(Debug::INIT, "LyX: Warning: unknown Bookmark info: " << tmp);
|
2006-11-22 21:00:14 +00:00
|
|
|
}
|
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';
|
2021-01-06 13:18:25 +00:00
|
|
|
for (size_t i = 0; i < bookmarks.size(); ++i) {
|
2007-03-29 03:41:55 +00:00
|
|
|
if (isValid(i))
|
|
|
|
os << i << ", "
|
2007-04-16 19:01:32 +00:00
|
|
|
<< bookmarks[i].bottom_pit << ", "
|
|
|
|
<< bookmarks[i].bottom_pos << ", "
|
2007-03-29 03:41:55 +00:00
|
|
|
<< bookmarks[i].filename << '\n';
|
2006-10-27 14:18:03 +00:00
|
|
|
}
|
2006-04-05 22:56:18 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2007-11-02 19:59:08 +00:00
|
|
|
void BookmarksSection::save(FileName const & fname,
|
|
|
|
pit_type bottom_pit, pos_type bottom_pos,
|
2007-04-16 19:01:32 +00:00
|
|
|
int top_id, pos_type top_pos, unsigned int idx)
|
2006-11-01 15:55:17 +00:00
|
|
|
{
|
2007-03-29 03:41:55 +00:00
|
|
|
// silently ignore bookmarks when idx is out of range
|
2021-01-06 13:18:25 +00:00
|
|
|
if (idx < bookmarks.size())
|
2007-04-16 19:01:32 +00:00
|
|
|
bookmarks[idx] = Bookmark(fname, bottom_pit, bottom_pos, top_id, top_pos);
|
2006-11-01 15:55:17 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
bool BookmarksSection::isValid(unsigned int i) const
|
2006-04-05 22:56:18 +00:00
|
|
|
{
|
2021-01-06 13:18:25 +00:00
|
|
|
return i < bookmarks.size() && !bookmarks[i].filename.empty();
|
2006-11-01 15:55:17 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2009-01-07 01:48:47 +00:00
|
|
|
bool BookmarksSection::hasValid() const
|
|
|
|
{
|
2021-01-06 18:18:25 +00:00
|
|
|
for (size_t i = 1; i < bookmarks.size(); ++i) {
|
2009-01-07 01:48:47 +00:00
|
|
|
if (isValid(i))
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-11-01 15:55:17 +00:00
|
|
|
BookmarksSection::Bookmark const & BookmarksSection::bookmark(unsigned int i) const
|
|
|
|
{
|
2007-03-29 03:41:55 +00:00
|
|
|
return bookmarks[i];
|
2006-04-05 22:56:18 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2021-02-26 18:05:35 +00:00
|
|
|
BookmarksSection::BookmarkPosList
|
|
|
|
BookmarksSection::bookmarksInPar(FileName const & fn, int const par_id) const
|
|
|
|
{
|
|
|
|
// FIXME: we do not consider the case of bottom_pit.
|
|
|
|
// This is probably not a problem.
|
|
|
|
BookmarksSection::BookmarkPosList bip;
|
|
|
|
for (size_t i = 1; i < bookmarks.size(); ++i)
|
|
|
|
if (bookmarks[i].filename == fn && bookmarks[i].top_id == par_id)
|
|
|
|
bip.push_back({i, bookmarks[i].top_pos});
|
|
|
|
|
|
|
|
return bip;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2021-03-11 14:57:06 +00:00
|
|
|
void BookmarksSection::adjustPosAfterPos(FileName const & fn,
|
|
|
|
int const par_id, pos_type pos, int offset)
|
|
|
|
{
|
|
|
|
for (Bookmark & bkm : bookmarks)
|
|
|
|
if (bkm.filename == fn && bkm.top_id == par_id && bkm.top_pos > pos)
|
|
|
|
bkm.top_pos += offset;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2009-01-18 21:50:23 +00:00
|
|
|
LastCommandsSection::LastCommandsSection(unsigned int num) :
|
|
|
|
default_num_last_commands(30),
|
|
|
|
absolute_max_last_commands(100)
|
|
|
|
{
|
|
|
|
setNumberOfLastCommands(num);
|
|
|
|
}
|
|
|
|
|
2017-07-03 17:53:14 +00:00
|
|
|
|
2009-01-18 21:50:23 +00:00
|
|
|
void LastCommandsSection::read(istream & is)
|
|
|
|
{
|
|
|
|
string tmp;
|
|
|
|
do {
|
|
|
|
char c = is.peek();
|
|
|
|
if (c == '[')
|
|
|
|
break;
|
|
|
|
getline(is, tmp);
|
|
|
|
if (tmp == "" || tmp[0] == '#' || tmp[0] == ' ')
|
|
|
|
continue;
|
|
|
|
|
|
|
|
lastcommands.push_back(tmp);
|
|
|
|
} while (is.good());
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void LastCommandsSection::write(ostream & os) const
|
|
|
|
{
|
|
|
|
os << '\n' << sec_lastcommands << '\n';
|
|
|
|
copy(lastcommands.begin(), lastcommands.end(),
|
|
|
|
ostream_iterator<std::string>(os, "\n"));
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void LastCommandsSection::setNumberOfLastCommands(unsigned int no)
|
|
|
|
{
|
|
|
|
if (0 < no && no <= absolute_max_last_commands)
|
|
|
|
num_lastcommands = no;
|
|
|
|
else {
|
|
|
|
LYXERR(Debug::INIT, "LyX: session: too many last commands\n"
|
|
|
|
<< "\tdefault (=" << default_num_last_commands << ") used.");
|
|
|
|
num_lastcommands = default_num_last_commands;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-10-31 17:18:51 +00:00
|
|
|
void LastCommandsSection::add(std::string const & command)
|
2009-01-18 21:50:23 +00:00
|
|
|
{
|
2022-07-13 14:56:10 +00:00
|
|
|
// remove traces of 'command' in history using the erase-remove idiom
|
|
|
|
// https://en.wikipedia.org/wiki/Erase%E2%80%93remove_idiom
|
|
|
|
lastcommands.erase(remove(lastcommands.begin(), lastcommands.end(), command),
|
|
|
|
lastcommands.end());
|
|
|
|
// add it at the end of the list.
|
2020-10-31 17:18:51 +00:00
|
|
|
lastcommands.push_back(command);
|
2009-01-18 21:50:23 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void LastCommandsSection::clear()
|
|
|
|
{
|
|
|
|
lastcommands.clear();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
Session::Session(unsigned int num_last_files, unsigned int num_last_commands) :
|
|
|
|
last_files(num_last_files), last_commands(num_last_commands)
|
2006-10-27 14:18:03 +00:00
|
|
|
{
|
|
|
|
// locate the session file
|
|
|
|
// note that the session file name 'session' is hard-coded
|
2010-04-21 01:19:09 +00:00
|
|
|
session_file = FileName(addName(package().user_support().absFileName(), "session"));
|
2006-10-27 14:18:03 +00:00
|
|
|
//
|
|
|
|
readFile();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void Session::readFile()
|
|
|
|
{
|
|
|
|
// we will not complain if we can't find session_file nor will
|
|
|
|
// we issue a warning. (Lgb)
|
2006-12-02 16:07:15 +00:00
|
|
|
ifstream is(session_file.toFilesystemEncoding().c_str());
|
2006-10-27 14:18:03 +00:00
|
|
|
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);
|
2009-01-18 21:50:23 +00:00
|
|
|
else if (tmp == sec_lastcommands)
|
|
|
|
lastCommands().read(is);
|
2016-11-23 21:17:13 +00:00
|
|
|
else if (tmp == sec_authfiles)
|
|
|
|
authFiles().read(is);
|
2017-08-03 11:07:41 +00:00
|
|
|
else if (tmp == sec_shellescape)
|
|
|
|
shellescapeFiles().read(is);
|
2009-01-18 21:50:23 +00:00
|
|
|
|
2006-10-27 14:18:03 +00:00
|
|
|
else
|
2007-11-15 20:04:51 +00:00
|
|
|
LYXERR(Debug::INIT, "LyX: Warning: unknown Session section: " << tmp);
|
2006-10-27 14:18:03 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void Session::writeFile() const
|
|
|
|
{
|
2006-12-02 16:07:15 +00:00
|
|
|
ofstream os(session_file.toFilesystemEncoding().c_str());
|
2006-10-27 14:18:03 +00:00
|
|
|
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);
|
2009-01-18 21:50:23 +00:00
|
|
|
lastCommands().write(os);
|
2006-10-29 20:01:00 +00:00
|
|
|
bookmarks().write(os);
|
2016-11-23 21:17:13 +00:00
|
|
|
authFiles().write(os);
|
2017-08-03 11:07:41 +00:00
|
|
|
shellescapeFiles().write(os);
|
2006-10-27 14:18:03 +00:00
|
|
|
} else
|
2007-11-15 20:04:51 +00:00
|
|
|
LYXERR(Debug::INIT, "LyX: Warning: unable to save Session: "
|
|
|
|
<< session_file);
|
2006-10-27 14:18:03 +00:00
|
|
|
}
|
|
|
|
|
2016-11-23 21:17:13 +00:00
|
|
|
|
|
|
|
AuthFilesSection::AuthFilesSection() { }
|
|
|
|
|
|
|
|
|
|
|
|
void AuthFilesSection::read(istream & is)
|
|
|
|
{
|
|
|
|
string tmp;
|
|
|
|
do {
|
|
|
|
char c = is.peek();
|
|
|
|
if (c == '[')
|
|
|
|
break;
|
|
|
|
getline(is, tmp);
|
|
|
|
if (tmp.empty() || tmp[0] == '#' || tmp[0] == ' ' || !FileName::isAbsolute(tmp))
|
|
|
|
continue;
|
|
|
|
|
|
|
|
// read lastfiles
|
|
|
|
FileName const file(tmp);
|
|
|
|
if (file.exists() && !file.isDirectory())
|
|
|
|
auth_files_.insert(tmp);
|
|
|
|
else
|
|
|
|
LYXERR(Debug::INIT, "LyX: Warning: Ignore auth file: " << tmp);
|
|
|
|
} while (is.good());
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void AuthFilesSection::write(ostream & os) const
|
|
|
|
{
|
|
|
|
os << '\n' << sec_authfiles << '\n';
|
|
|
|
copy(auth_files_.begin(), auth_files_.end(),
|
|
|
|
ostream_iterator<std::string>(os, "\n"));
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2017-08-03 11:07:41 +00:00
|
|
|
bool AuthFilesSection::find(string const & name) const
|
|
|
|
{
|
2020-10-05 10:38:09 +00:00
|
|
|
return auth_files_.find(name) != auth_files_.end();
|
2017-08-03 11:07:41 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void AuthFilesSection::insert(string const & name)
|
|
|
|
{
|
|
|
|
auth_files_.insert(name);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void ShellEscapeSection::read(istream & is)
|
|
|
|
{
|
|
|
|
string s;
|
|
|
|
do {
|
|
|
|
char c = is.peek();
|
|
|
|
if (c == '[')
|
|
|
|
break;
|
|
|
|
getline(is, s);
|
2017-12-02 09:46:46 +00:00
|
|
|
if (s.empty() || s[0] == '#' || s[0] == ' ' || !FileName::isAbsolute(s))
|
2017-08-03 11:07:41 +00:00
|
|
|
continue;
|
|
|
|
|
|
|
|
// read shellescape files
|
|
|
|
FileName const file(s.substr(0, s.length() - 2));
|
|
|
|
if (file.exists() && !file.isDirectory())
|
|
|
|
shellescape_files_.insert(s);
|
|
|
|
else
|
|
|
|
LYXERR(Debug::INIT, "LyX: Warning: Ignore shellescape file: " << file);
|
|
|
|
} while (is.good());
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void ShellEscapeSection::write(ostream & os) const
|
|
|
|
{
|
|
|
|
os << '\n' << sec_shellescape << '\n';
|
|
|
|
copy(shellescape_files_.begin(), shellescape_files_.end(),
|
|
|
|
ostream_iterator<std::string>(os, "\n"));
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
bool ShellEscapeSection::find(string const & name) const
|
|
|
|
{
|
|
|
|
if (shellescape_files_.find(name + ",0") != shellescape_files_.end())
|
|
|
|
return true;
|
|
|
|
|
|
|
|
return findAuth(name);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
bool ShellEscapeSection::findAuth(string const & name) const
|
|
|
|
{
|
2020-10-05 10:38:09 +00:00
|
|
|
return shellescape_files_.find(name + ",1") != shellescape_files_.end();
|
2017-08-03 11:07:41 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void ShellEscapeSection::insert(string const & name, bool auth)
|
|
|
|
{
|
|
|
|
set<string>::iterator it;
|
|
|
|
string const name0 = name + ",0";
|
|
|
|
string const name1 = name + ",1";
|
|
|
|
|
|
|
|
if (auth) {
|
|
|
|
it = shellescape_files_.find(name0);
|
|
|
|
if (it != shellescape_files_.end())
|
|
|
|
shellescape_files_.erase(it);
|
|
|
|
shellescape_files_.insert(name1);
|
|
|
|
} else {
|
|
|
|
it = shellescape_files_.find(name1);
|
|
|
|
if (it != shellescape_files_.end())
|
|
|
|
shellescape_files_.erase(it);
|
|
|
|
shellescape_files_.insert(name0);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void ShellEscapeSection::remove(string const & name)
|
|
|
|
{
|
|
|
|
set<string>::iterator it = shellescape_files_.find(name + ",0");
|
|
|
|
if (it == shellescape_files_.end())
|
|
|
|
it = shellescape_files_.find(name + ",1");
|
|
|
|
if (it != shellescape_files_.end())
|
|
|
|
shellescape_files_.erase(it);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2017-07-23 11:11:54 +00:00
|
|
|
} // namespace lyx
|