src/Session.cpp

   1 /**
   2  * \file Session.cpp
   3  * This file is part of LyX, the document processor.
   4  * Licence details can be found in the file COPYING.
   5  *
   6  * \author Lars Gullik Bjønnes
   7  * \author Bo Peng
   8  *
   9  * Full author contact details are available in file CREDITS.
  10  */
  11
  12 #include <config.h>
  13
  14 #include "Session.h"
  15 #include "debug.h"
  16 #include "support/Package.h"
  17 #include "support/filetools.h"
  18
  19 #include <fstream>
  20 #include <sstream>
  21 #include <algorithm>
  22 #include <iterator>
  23
  24 using lyx::support::absolutePath;
  25 using lyx::support::addName;
  26 using lyx::support::FileName;
  27 using lyx::support::package;
  28
  29 using std::vector;
  30 using std::getline;
  31 using std::string;
  32 using std::ifstream;
  33 using std::ofstream;
  34 using std::istream;
  35 using std::ostream;
  36 using std::endl;
  37 using std::istringstream;
  38 using std::copy;
  39 using std::find;
  40 using std::ostream_iterator;
  41
  42 namespace {
  43
  44 string const sec_lastfiles = "[recent files]";
  45 string const sec_lastfilepos = "[cursor positions]";
  46 string const sec_lastopened = "[last opened files]";
  47 string const sec_bookmarks = "[bookmarks]";
  48 string const sec_session = "[session info]";
  49 string const sec_toolbars = "[toolbars]";
  50
  51 } // anon namespace
  52
  53
  54 namespace lyx {
  55
  56 LastFilesSection::LastFilesSection(unsigned int num) :
  57         default_num_last_files(4),
  58         absolute_max_last_files(100)
  59 {
  60         setNumberOfLastFiles(num);
  61 }
  62
  63
  64 void LastFilesSection::read(istream & is)
  65 {
  66         string tmp;
  67         do {
  68                 char c = is.peek();
  69                 if (c == '[')
  70                         break;
  71                 getline(is, tmp);
  72                 if (tmp == "" || tmp[0] == '#' || tmp[0] == ' ' || !absolutePath(tmp))
  73                         continue;
  74
  75                 // read lastfiles
  76                 FileName const file(tmp);
  77                 if (file.exists() && !file.isDirectory()
  78                     && lastfiles.size() < num_lastfiles)
  79                         lastfiles.push_back(file);
  80                 else
  81                         LYXERR(Debug::INIT) << "LyX: Warning: Ignore last file: " << tmp << endl;
  82         } while (is.good());
  83 }
  84
  85
  86 void LastFilesSection::write(ostream & os) const
  87 {
  88         os << '\n' << sec_lastfiles << '\n';
  89         copy(lastfiles.begin(), lastfiles.end(),
  90              ostream_iterator<FileName>(os, "\n"));
  91 }
  92
  93
  94 void LastFilesSection::add(FileName const & file)
  95 {
  96         // If file already exist, delete it and reinsert at front.
  97         LastFiles::iterator it = find(lastfiles.begin(), lastfiles.end(), file);
  98         if (it != lastfiles.end())
  99                 lastfiles.erase(it);
 100         lastfiles.push_front(file);
 101         if (lastfiles.size() > num_lastfiles)
 102                 lastfiles.pop_back();
 103 }
 104
 105
 106 void LastFilesSection::setNumberOfLastFiles(unsigned int no)
 107 {
 108         if (0 < no && no <= absolute_max_last_files)
 109                 num_lastfiles = no;
 110         else {
 111                 LYXERR(Debug::INIT) << "LyX: session: too many last files\n"
 112                        << "\tdefault (=" << default_num_last_files
 113                        << ") used." << endl;
 114                 num_lastfiles = default_num_last_files;
 115         }
 116 }
 117
 118
 119 void LastOpenedSection::read(istream & is)
 120 {
 121         string tmp;
 122         do {
 123                 char c = is.peek();
 124                 if (c == '[')
 125                         break;
 126                 getline(is, tmp);
 127                 if (tmp == "" || tmp[0] == '#' || tmp[0] == ' ' || !absolutePath(tmp))
 128                         continue;
 129
 130                 FileName const file(tmp);
 131                 if (file.exists() && !file.isDirectory())
 132                         lastopened.push_back(file);
 133                 else
 134                         LYXERR(Debug::INIT) << "LyX: Warning: Ignore last opened file: " << tmp << endl;
 135         } while (is.good());
 136 }
 137
 138
 139 void LastOpenedSection::write(ostream & os) const
 140 {
 141         os << '\n' << sec_lastopened << '\n';
 142         copy(lastopened.begin(), lastopened.end(),
 143              ostream_iterator<FileName>(os, "\n"));
 144 }
 145
 146
 147 void LastOpenedSection::add(FileName const & file)
 148 {
 149         lastopened.push_back(file);
 150 }
 151
 152
 153 void LastOpenedSection::clear()
 154 {
 155         lastopened.clear();
 156 }
 157
 158
 159 void LastFilePosSection::read(istream & is)
 160 {
 161         string tmp;
 162         do {
 163                 char c = is.peek();
 164                 if (c == '[')
 165                         break;
 166                 getline(is, tmp);
 167                 if (tmp == "" || tmp[0] == '#' || tmp[0] == ' ')
 168                         continue;
 169
 170                 try {
 171                         // read lastfilepos
 172                         // pos, file\n
 173                         pit_type pit;
 174                         pos_type pos;
 175                         string fname;
 176                         istringstream itmp(tmp);
 177                         itmp >> pit;
 178                         itmp.ignore(2);  // ignore ", "
 179                         itmp >> pos;
 180                         itmp.ignore(2);  // ignore ", "
 181                         getline(itmp, fname);
 182                         if (!absolutePath(fname))
 183                                 continue;
 184                         FileName const file(fname);
 185                         if (file.exists() && !file.isDirectory()
 186                             && lastfilepos.size() < num_lastfilepos)
 187                                 lastfilepos[file] = boost::tie(pit, pos);
 188                         else
 189                                 LYXERR(Debug::INIT) << "LyX: Warning: Ignore pos of last file: " << fname << endl;
 190                 } catch (...) {
 191                         LYXERR(Debug::INIT) << "LyX: Warning: unknown pos of last file: " << tmp << endl;
 192                 }
 193         } while (is.good());
 194 }
 195
 196
 197 void LastFilePosSection::write(ostream & os) const
 198 {
 199         os << '\n' << sec_lastfilepos << '\n';
 200         for (FilePosMap::const_iterator file = lastfilepos.begin();
 201                 file != lastfilepos.end(); ++file) {
 202                 os << file->second.get<0>() << ", "
 203                     << file->second.get<1>() << ", "
 204                     << file->first << '\n';
 205         }
 206 }
 207
 208
 209 void LastFilePosSection::save(FileName const & fname, FilePos pos)
 210 {
 211         lastfilepos[fname] = pos;
 212 }
 213
 214
 215 LastFilePosSection::FilePos LastFilePosSection::load(FileName const & fname) const
 216 {
 217         FilePosMap::const_iterator entry = lastfilepos.find(fname);
 218         // Has position information, return it.
 219         if (entry != lastfilepos.end())
 220                 return entry->second;
 221         // Not found, return the first paragraph
 222         else
 223                 return 0;
 224 }
 225
 226
 227 void BookmarksSection::clear()
 228 {
 229         // keep bookmark[0], the temporary one
 230         bookmarks.resize(1);
 231         bookmarks.resize(max_bookmarks + 1);
 232 }
 233
 234
 235 void BookmarksSection::read(istream & is)
 236 {
 237         string tmp;
 238         do {
 239                 char c = is.peek();
 240                 if (c == '[')
 241                         break;
 242                 getline(is, tmp);
 243                 if (tmp == "" || tmp[0] == '#' || tmp[0] == ' ')
 244                         continue;
 245
 246                 try {
 247                         // read bookmarks
 248                         // idx, pit, pos, file\n
 249                         unsigned int idx;
 250                         pit_type pit;
 251                         pos_type pos;
 252                         string fname;
 253                         istringstream itmp(tmp);
 254                         itmp >> idx;
 255                         itmp.ignore(2);  // ignore ", "
 256                         itmp >> pit;
 257                         itmp.ignore(2);  // ignore ", "
 258                         itmp >> pos;
 259                         itmp.ignore(2);  // ignore ", "
 260                         getline(itmp, fname);
 261                         if (!absolutePath(fname))
 262                                 continue;
 263                         FileName const file(fname);
 264                         // only load valid bookmarks
 265                         if (file.exists() && !file.isDirectory() && idx <= max_bookmarks)
 266                                 bookmarks[idx] = Bookmark(file, pit, pos, 0, 0);
 267                         else
 268                                 LYXERR(Debug::INIT) << "LyX: Warning: Ignore bookmark of file: " << fname << endl;
 269                 } catch (...) {
 270                         LYXERR(Debug::INIT) << "LyX: Warning: unknown Bookmark info: " << tmp << endl;
 271                 }
 272         } while (is.good());
 273 }
 274
 275
 276 void BookmarksSection::write(ostream & os) const
 277 {
 278         os << '\n' << sec_bookmarks << '\n';
 279         for (size_t i = 1; i <= max_bookmarks; ++i) {
 280                 if (isValid(i))
 281                         os << i << ", "
 282                            << bookmarks[i].bottom_pit << ", "
 283                            << bookmarks[i].bottom_pos << ", "
 284                            << bookmarks[i].filename << '\n';
 285         }
 286 }
 287
 288
 289 void BookmarksSection::save(FileName const & fname, pit_type bottom_pit, pos_type bottom_pos,
 290         int top_id, pos_type top_pos, unsigned int idx)
 291 {
 292         // silently ignore bookmarks when idx is out of range
 293         if (idx <= max_bookmarks)
 294                 bookmarks[idx] = Bookmark(fname, bottom_pit, bottom_pos, top_id, top_pos);
 295 }
 296
 297
 298 bool BookmarksSection::isValid(unsigned int i) const
 299 {
 300         return i <= max_bookmarks && !bookmarks[i].filename.empty();
 301 }
 302
 303
 304 BookmarksSection::Bookmark const & BookmarksSection::bookmark(unsigned int i) const
 305 {
 306         return bookmarks[i];
 307 }
 308
 309
 310 void ToolbarSection::read(istream & is)
 311 {
 312         string tmp;
 313         do {
 314                 char c = is.peek();
 315                 if (c == '[')
 316                         break;
 317                 getline(is, tmp);
 318                 if (tmp == "" || tmp[0] == '#' || tmp[0] == ' ')
 319                         continue;
 320
 321                 try {
 322                         // Read session info, saved as key/value pairs
 323                         // would better yell if pos returns npos
 324                         string::size_type pos = tmp.find_first_of(" = ");
 325                         // silently ignore lines without " = "
 326                         if (pos != string::npos) {
 327                                 string key = tmp.substr(0, pos);
 328                                 int state;
 329                                 int location;
 330                                 int posx;
 331                                 int posy;
 332                                 istringstream value(tmp.substr(pos + 3));
 333                                 value >> state;
 334                                 value >> location;
 335                                 value >> posx;
 336                                 value >> posy;
 337                                 toolbars.push_back(boost::make_tuple(key, ToolbarInfo(state, location, posx, posy)));
 338                         } else
 339                                 LYXERR(Debug::INIT) << "LyX: Warning: Ignore toolbar info: " << tmp << endl;
 340                 } catch (...) {
 341                         LYXERR(Debug::INIT) << "LyX: Warning: unknown Toolbar info: " << tmp << endl;
 342                 }
 343         } while (is.good());
 344         // sort the toolbars by location, line and position
 345         std::sort(toolbars.begin(), toolbars.end());
 346 }
 347
 348
 349 void ToolbarSection::write(ostream & os) const
 350 {
 351         os << '\n' << sec_toolbars << '\n';
 352         for (ToolbarList::const_iterator tb = toolbars.begin();
 353                 tb != toolbars.end(); ++tb) {
 354                 os << tb->get<0>() << " = "
 355                   << static_cast<int>(tb->get<1>().state) << " "
 356                   << static_cast<int>(tb->get<1>().location) << " "
 357                   << tb->get<1>().posx << " "
 358                   << tb->get<1>().posy << '\n';
 359         }
 360 }
 361
 362
 363 ToolbarSection::ToolbarInfo & ToolbarSection::load(string const & name)
 364 {
 365         for (ToolbarList::iterator tb = toolbars.begin();
 366                 tb != toolbars.end(); ++tb)
 367                 if (tb->get<0>() == name)
 368                         return tb->get<1>();
 369         // add a new item
 370         toolbars.push_back(boost::make_tuple(name, ToolbarSection::ToolbarInfo()));
 371         return toolbars.back().get<1>();
 372 }
 373
 374
 375 bool operator<(ToolbarSection::ToolbarItem const & a, ToolbarSection::ToolbarItem const & b)
 376 {
 377         ToolbarSection::ToolbarInfo lhs = a.get<1>();
 378         ToolbarSection::ToolbarInfo rhs = b.get<1>();
 379         // on if before off
 380         if (lhs.state != rhs.state)
 381                 return static_cast<int>(lhs.state) < static_cast<int>(rhs.state);
 382         // order of dock does not really matter
 383         if (lhs.location != rhs.location)
 384                 return static_cast<int>(lhs.location) < static_cast<int>(rhs.location);
 385         // if the same dock, the order depends on position
 386         if (lhs.location == ToolbarSection::ToolbarInfo::TOP ||
 387                 lhs.location == ToolbarSection::ToolbarInfo::BOTTOM)
 388                 return lhs.posy < rhs.posy || (lhs.posy == rhs.posy && lhs.posx < rhs.posx);
 389         else if (lhs.location == ToolbarSection::ToolbarInfo::LEFT ||
 390                 lhs.location == ToolbarSection::ToolbarInfo::RIGHT)
 391                 return lhs.posx < rhs.posx || (lhs.posx == rhs.posx && lhs.posy < rhs.posy);
 392         else
 393                 return true;
 394 }
 395
 396
 397 void SessionInfoSection::read(istream & is)
 398 {
 399         string tmp;
 400         do {
 401                 char c = is.peek();
 402                 if (c == '[')
 403                         break;
 404                 getline(is, tmp);
 405                 if (tmp == "" || tmp[0] == '#' || tmp[0] == ' ')
 406                         continue;
 407
 408                 try {
 409                         // Read session info, saved as key/value pairs
 410                         // would better yell if pos returns npos
 411                         string::size_type pos = tmp.find_first_of(" = ");
 412                         // silently ignore lines without " = "
 413                         if (pos != string::npos) {
 414                                 string key = tmp.substr(0, pos);
 415                                 string value = tmp.substr(pos + 3);
 416                                 sessioninfo[key] = value;
 417                         } else
 418                                 LYXERR(Debug::INIT) << "LyX: Warning: Ignore session info: " << tmp << endl;
 419                 } catch (...) {
 420                         LYXERR(Debug::INIT) << "LyX: Warning: unknown Session info: " << tmp << endl;
 421                 }
 422         } while (is.good());
 423 }
 424
 425
 426 void SessionInfoSection::write(ostream & os) const
 427 {
 428         os << '\n' << sec_session << '\n';
 429         for (MiscInfo::const_iterator val = sessioninfo.begin();
 430                 val != sessioninfo.end(); ++val) {
 431                 os << val->first << " = " << val->second << '\n';
 432         }
 433 }
 434
 435
 436 void SessionInfoSection::save(string const & key, string const & value)
 437 {
 438         sessioninfo[key] = value;
 439 }
 440
 441
 442 string const SessionInfoSection::load(string const & key, bool release)
 443 {
 444         MiscInfo::const_iterator pos = sessioninfo.find(key);
 445         string value;
 446         if (pos != sessioninfo.end())
 447                 value = pos->second;
 448         if (release)
 449                 sessioninfo.erase(key);
 450         return value;
 451 }
 452
 453
 454 Session::Session(unsigned int num) :
 455         last_files(num)
 456 {
 457         // locate the session file
 458         // note that the session file name 'session' is hard-coded
 459         session_file = FileName(addName(package().user_support().absFilename(), "session"));
 460         //
 461         readFile();
 462 }
 463
 464
 465 void Session::readFile()
 466 {
 467         // we will not complain if we can't find session_file nor will
 468         // we issue a warning. (Lgb)
 469         ifstream is(session_file.toFilesystemEncoding().c_str());
 470         string tmp;
 471
 472         while (getline(is, tmp)) {
 473                 // Ignore comments, empty line or line stats with ' '
 474                 if (tmp == "" || tmp[0] == '#' || tmp[0] == ' ')
 475                         continue;
 476
 477                 // Determine section id
 478                 if (tmp == sec_lastfiles)
 479                         lastFiles().read(is);
 480                 else if (tmp == sec_lastopened)
 481                         lastOpened().read(is);
 482                 else if (tmp == sec_lastfilepos)
 483                         lastFilePos().read(is);
 484                 else if (tmp == sec_bookmarks)
 485                         bookmarks().read(is);
 486                 else if (tmp == sec_toolbars)
 487                         toolbars().read(is);
 488                 else if (tmp == sec_session)
 489                         sessionInfo().read(is);
 490                 else
 491                         LYXERR(Debug::INIT) << "LyX: Warning: unknown Session section: " << tmp << endl;
 492         }
 493 }
 494
 495
 496 void Session::writeFile() const
 497 {
 498         ofstream os(session_file.toFilesystemEncoding().c_str());
 499         if (os) {
 500                 os << "## Automatically generated lyx session file \n"
 501                     << "## Editing this file manually may cause lyx to crash.\n";
 502
 503                 lastFiles().write(os);
 504                 lastOpened().write(os);
 505                 lastFilePos().write(os);
 506                 bookmarks().write(os);
 507                 toolbars().write(os);
 508                 sessionInfo().write(os);
 509         } else
 510                 LYXERR(Debug::INIT) << "LyX: Warning: unable to save Session: "
 511                        << session_file << endl;
 512 }
 513
 514 }