]> git.lyx.org Git - features.git/blob - src/Buffer.cpp
On export, mark the start of the first paragraph
[features.git] / src / Buffer.cpp
1 /**
2  * \file Buffer.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 Stefan Schimanski
8  *
9  * Full author contact details are available in file CREDITS.
10  */
11
12 #include <config.h>
13
14 #include "Buffer.h"
15
16 #include "Author.h"
17 #include "LayoutFile.h"
18 #include "BiblioInfo.h"
19 #include "BranchList.h"
20 #include "buffer_funcs.h"
21 #include "BufferList.h"
22 #include "BufferParams.h"
23 #include "Bullet.h"
24 #include "Chktex.h"
25 #include "Converter.h"
26 #include "Counters.h"
27 #include "Cursor.h"
28 #include "CutAndPaste.h"
29 #include "DispatchResult.h"
30 #include "DocIterator.h"
31 #include "BufferEncodings.h"
32 #include "ErrorList.h"
33 #include "Exporter.h"
34 #include "Format.h"
35 #include "FuncRequest.h"
36 #include "FuncStatus.h"
37 #include "IndicesList.h"
38 #include "InsetIterator.h"
39 #include "InsetList.h"
40 #include "Language.h"
41 #include "LaTeXFeatures.h"
42 #include "LaTeX.h"
43 #include "Layout.h"
44 #include "Lexer.h"
45 #include "LyXAction.h"
46 #include "LyX.h"
47 #include "LyXRC.h"
48 #include "LyXVC.h"
49 #include "output_docbook.h"
50 #include "output.h"
51 #include "output_latex.h"
52 #include "output_xhtml.h"
53 #include "output_plaintext.h"
54 #include "Paragraph.h"
55 #include "ParagraphParameters.h"
56 #include "ParIterator.h"
57 #include "PDFOptions.h"
58 #include "SpellChecker.h"
59 #include "sgml.h"
60 #include "texstream.h"
61 #include "TexRow.h"
62 #include "Text.h"
63 #include "TextClass.h"
64 #include "TocBackend.h"
65 #include "Undo.h"
66 #include "VCBackend.h"
67 #include "version.h"
68 #include "WordLangTuple.h"
69 #include "WordList.h"
70
71 #include "insets/InsetBibtex.h"
72 #include "insets/InsetBranch.h"
73 #include "insets/InsetInclude.h"
74 #include "insets/InsetTabular.h"
75 #include "insets/InsetText.h"
76
77 #include "mathed/InsetMathHull.h"
78 #include "mathed/MacroTable.h"
79 #include "mathed/MathMacroTemplate.h"
80 #include "mathed/MathSupport.h"
81
82 #include "graphics/PreviewLoader.h"
83
84 #include "frontends/alert.h"
85 #include "frontends/Delegates.h"
86 #include "frontends/WorkAreaManager.h"
87
88 #include "support/lassert.h"
89 #include "support/convert.h"
90 #include "support/debug.h"
91 #include "support/docstring_list.h"
92 #include "support/ExceptionMessage.h"
93 #include "support/FileName.h"
94 #include "support/FileNameList.h"
95 #include "support/filetools.h"
96 #include "support/ForkedCalls.h"
97 #include "support/gettext.h"
98 #include "support/gzstream.h"
99 #include "support/lstrings.h"
100 #include "support/lyxalgo.h"
101 #include "support/mutex.h"
102 #include "support/os.h"
103 #include "support/Package.h"
104 #include "support/PathChanger.h"
105 #include "support/Systemcall.h"
106 #include "support/TempFile.h"
107 #include "support/textutils.h"
108 #include "support/types.h"
109
110 #include "support/bind.h"
111
112 #include <algorithm>
113 #include <fstream>
114 #include <iomanip>
115 #include <map>
116 #include <memory>
117 #include <set>
118 #include <sstream>
119 #include <vector>
120
121 using namespace std;
122 using namespace lyx::support;
123 using namespace lyx::graphics;
124
125 namespace lyx {
126
127 namespace Alert = frontend::Alert;
128 namespace os = support::os;
129
130 namespace {
131
132 int const LYX_FORMAT = LYX_FORMAT_LYX;
133
134 typedef map<string, bool> DepClean;
135 typedef map<docstring, pair<InsetLabel const *, Buffer::References> > RefCache;
136
137 } // namespace anon
138
139
140 // A storehouse for the cloned buffers.
141 list<CloneList *> cloned_buffers;
142
143
144 class Buffer::Impl
145 {
146 public:
147         Impl(Buffer * owner, FileName const & file, bool readonly, Buffer const * cloned_buffer);
148
149         ~Impl()
150         {
151                 delete preview_loader_;
152                 if (wa_) {
153                         wa_->closeAll();
154                         delete wa_;
155                 }
156                 delete inset;
157         }
158
159         /// search for macro in local (buffer) table or in children
160         MacroData const * getBufferMacro(docstring const & name,
161                 DocIterator const & pos) const;
162
163         /// Update macro table starting with position of it \param it in some
164         /// text inset.
165         void updateMacros(DocIterator & it, DocIterator & scope);
166         ///
167         void setLabel(ParIterator & it, UpdateType utype) const;
168
169         /** If we have branches that use the file suffix
170             feature, return the file name with suffix appended.
171         */
172         support::FileName exportFileName() const;
173
174         Buffer * owner_;
175
176         BufferParams params;
177         LyXVC lyxvc;
178         FileName temppath;
179         mutable TexRow texrow;
180
181         /// need to regenerate .tex?
182         DepClean dep_clean;
183
184         /// is save needed?
185         mutable bool lyx_clean;
186
187         /// is autosave needed?
188         mutable bool bak_clean;
189
190         /// is this an unnamed file (New...)?
191         bool unnamed;
192
193         /// is this an internal bufffer?
194         bool internal_buffer;
195
196         /// buffer is r/o
197         bool read_only;
198
199         /// name of the file the buffer is associated with.
200         FileName filename;
201
202         /** Set to true only when the file is fully loaded.
203          *  Used to prevent the premature generation of previews
204          *  and by the citation inset.
205          */
206         bool file_fully_loaded;
207
208         /// original format of loaded file
209         int file_format;
210
211         /// if the file was originally loaded from an older format, do
212         /// we need to back it up still?
213         bool need_format_backup;
214
215         /// Ignore the parent (e.g. when exporting a child standalone)?
216         bool ignore_parent;
217
218         ///
219         mutable TocBackend toc_backend;
220
221         /// macro tables
222         struct ScopeMacro {
223                 ScopeMacro() {}
224                 ScopeMacro(DocIterator const & s, MacroData const & m)
225                         : scope(s), macro(m) {}
226                 DocIterator scope;
227                 MacroData macro;
228         };
229         typedef map<DocIterator, ScopeMacro> PositionScopeMacroMap;
230         typedef map<docstring, PositionScopeMacroMap> NamePositionScopeMacroMap;
231         /// map from the macro name to the position map,
232         /// which maps the macro definition position to the scope and the MacroData.
233         NamePositionScopeMacroMap macros;
234         /// This seem to change the way Buffer::getMacro() works
235         mutable bool macro_lock;
236
237         /// positions of child buffers in the buffer
238         typedef map<Buffer const * const, DocIterator> BufferPositionMap;
239         struct ScopeBuffer {
240                 ScopeBuffer() : buffer(0) {}
241                 ScopeBuffer(DocIterator const & s, Buffer const * b)
242                         : scope(s), buffer(b) {}
243                 DocIterator scope;
244                 Buffer const * buffer;
245         };
246         typedef map<DocIterator, ScopeBuffer> PositionScopeBufferMap;
247         /// position of children buffers in this buffer
248         BufferPositionMap children_positions;
249         /// map from children inclusion positions to their scope and their buffer
250         PositionScopeBufferMap position_to_children;
251
252         /// Contains the old buffer filePath() while saving-as, or the
253         /// directory where the document was last saved while loading.
254         string old_position;
255
256         /** Keeps track of the path of local layout files.
257          *  If possible, it is always relative to the buffer path.
258          *  Empty for layouts in system or user directory.
259          */
260         string layout_position;
261
262         /// Container for all sort of Buffer dependant errors.
263         map<string, ErrorList> errorLists;
264
265         /// timestamp and checksum used to test if the file has been externally
266         /// modified. (Used to properly enable 'File->Revert to saved', bug 4114).
267         time_t timestamp_;
268         unsigned long checksum_;
269
270         ///
271         frontend::WorkAreaManager * wa_;
272         ///
273         frontend::GuiBufferDelegate * gui_;
274
275         ///
276         Undo undo_;
277
278         /// A cache for the bibfiles (including bibfiles of loaded child
279         /// documents), needed for appropriate update of natbib labels.
280         mutable support::FileNameList bibfiles_cache_;
281
282         // FIXME The caching mechanism could be improved. At present, we have a
283         // cache for each Buffer, that caches all the bibliography info for that
284         // Buffer. A more efficient solution would be to have a global cache per
285         // file, and then to construct the Buffer's bibinfo from that.
286         /// A cache for bibliography info
287         mutable BiblioInfo bibinfo_;
288         /// whether the bibinfo cache is valid
289         mutable bool bibinfo_cache_valid_;
290         /// whether the bibfile cache is valid
291         mutable bool bibfile_cache_valid_;
292         /// Cache of timestamps of .bib files
293         map<FileName, time_t> bibfile_status_;
294         /// Indicates whether the bibinfo has changed since the last time
295         /// we ran updateBuffer(), i.e., whether citation labels may need
296         /// to be updated.
297         mutable bool cite_labels_valid_;
298
299         /// These two hold the file name and format, written to by
300         /// Buffer::preview and read from by LFUN_BUFFER_VIEW_CACHE.
301         FileName preview_file_;
302         string preview_format_;
303         /// If there was an error when previewing, on the next preview we do
304         /// a fresh compile (e.g. in case the user installed a package that
305         /// was missing).
306         bool preview_error_;
307
308         mutable RefCache ref_cache_;
309
310         /// our Text that should be wrapped in an InsetText
311         InsetText * inset;
312
313         ///
314         PreviewLoader * preview_loader_;
315
316         /// This is here to force the test to be done whenever parent_buffer
317         /// is accessed.
318         Buffer const * parent() const
319         {
320                 // ignore_parent temporarily "orphans" a buffer
321                 // (e.g. if a child is compiled standalone)
322                 if (ignore_parent)
323                         return 0;
324                 // if parent_buffer is not loaded, then it has been unloaded,
325                 // which means that parent_buffer is an invalid pointer. So we
326                 // set it to null in that case.
327                 // however, the BufferList doesn't know about cloned buffers, so
328                 // they will always be regarded as unloaded. in that case, we hope
329                 // for the best.
330                 if (!cloned_buffer_ && !theBufferList().isLoaded(parent_buffer))
331                         parent_buffer = 0;
332                 return parent_buffer;
333         }
334
335         ///
336         void setParent(Buffer const * pb)
337         {
338                 if (parent_buffer == pb)
339                         // nothing to do
340                         return;
341                 if (!cloned_buffer_ && parent_buffer && pb)
342                         LYXERR0("Warning: a buffer should not have two parents!");
343                 parent_buffer = pb;
344                 if (!cloned_buffer_ && parent_buffer) {
345                         parent_buffer->invalidateBibfileCache();
346                         parent_buffer->invalidateBibinfoCache();
347                 }
348         }
349
350         /// If non zero, this buffer is a clone of existing buffer \p cloned_buffer_
351         /// This one is useful for preview detached in a thread.
352         Buffer const * cloned_buffer_;
353         ///
354         CloneList * clone_list_;
355         /// are we in the process of exporting this buffer?
356         mutable bool doing_export;
357
358         /// compute statistics
359         /// \p from initial position
360         /// \p to points to the end position
361         void updateStatistics(DocIterator & from, DocIterator & to,
362                               bool skipNoOutput = true);
363         /// statistics accessor functions
364         int wordCount() const
365         {
366                 return word_count_;
367         }
368         int charCount(bool with_blanks) const
369         {
370                 return char_count_
371                 + (with_blanks ? blank_count_ : 0);
372         }
373
374         // does the buffer contain tracked changes? (if so, we automatically
375         // display the review toolbar, for instance)
376         mutable bool tracked_changes_present_;
377
378 private:
379         /// So we can force access via the accessors.
380         mutable Buffer const * parent_buffer;
381
382         int word_count_;
383         int char_count_;
384         int blank_count_;
385
386 };
387
388
389 /// Creates the per buffer temporary directory
390 static FileName createBufferTmpDir()
391 {
392         // FIXME This would be the ideal application for a TempDir class (like
393         //       TempFile but for directories)
394         string counter;
395         {
396                 static int count;
397                 static Mutex mutex;
398                 Mutex::Locker locker(&mutex);
399                 counter = convert<string>(count++);
400         }
401         // We are in our own directory.  Why bother to mangle name?
402         // In fact I wrote this code to circumvent a problematic behaviour
403         // (bug?) of EMX mkstemp().
404         FileName tmpfl(package().temp_dir().absFileName() + "/lyx_tmpbuf" +
405                 counter);
406
407         if (!tmpfl.createDirectory(0777)) {
408                 throw ExceptionMessage(WarningException, _("Disk Error: "), bformat(
409                         _("LyX could not create the temporary directory '%1$s' (Disk is full maybe?)"),
410                         from_utf8(tmpfl.absFileName())));
411         }
412         return tmpfl;
413 }
414
415
416 Buffer::Impl::Impl(Buffer * owner, FileName const & file, bool readonly_,
417         Buffer const * cloned_buffer)
418         : owner_(owner), lyx_clean(true), bak_clean(true), unnamed(false),
419           internal_buffer(false), read_only(readonly_), filename(file),
420           file_fully_loaded(false), file_format(LYX_FORMAT), need_format_backup(false),
421           ignore_parent(false),  toc_backend(owner), macro_lock(false), timestamp_(0),
422           checksum_(0), wa_(0),  gui_(0), undo_(*owner), bibinfo_cache_valid_(false),
423           bibfile_cache_valid_(false), cite_labels_valid_(false), preview_error_(false),
424           inset(0), preview_loader_(0), cloned_buffer_(cloned_buffer), clone_list_(0),
425           doing_export(false), parent_buffer(0),
426           word_count_(0), char_count_(0), blank_count_(0)
427 {
428         if (!cloned_buffer_) {
429                 temppath = createBufferTmpDir();
430                 lyxvc.setBuffer(owner_);
431                 if (use_gui)
432                         wa_ = new frontend::WorkAreaManager;
433                 return;
434         }
435         temppath = cloned_buffer_->d->temppath;
436         file_fully_loaded = true;
437         params = cloned_buffer_->d->params;
438         bibfiles_cache_ = cloned_buffer_->d->bibfiles_cache_;
439         bibinfo_ = cloned_buffer_->d->bibinfo_;
440         bibinfo_cache_valid_ = cloned_buffer_->d->bibinfo_cache_valid_;
441         bibfile_cache_valid_ = cloned_buffer_->d->bibfile_cache_valid_;
442         bibfile_status_ = cloned_buffer_->d->bibfile_status_;
443         cite_labels_valid_ = cloned_buffer_->d->cite_labels_valid_;
444         unnamed = cloned_buffer_->d->unnamed;
445         internal_buffer = cloned_buffer_->d->internal_buffer;
446         layout_position = cloned_buffer_->d->layout_position;
447         preview_file_ = cloned_buffer_->d->preview_file_;
448         preview_format_ = cloned_buffer_->d->preview_format_;
449         preview_error_ = cloned_buffer_->d->preview_error_;
450         tracked_changes_present_ = cloned_buffer_->d->tracked_changes_present_;
451 }
452
453
454 Buffer::Buffer(string const & file, bool readonly, Buffer const * cloned_buffer)
455         : d(new Impl(this, FileName(file), readonly, cloned_buffer))
456 {
457         LYXERR(Debug::INFO, "Buffer::Buffer()");
458         if (cloned_buffer) {
459                 d->inset = new InsetText(*cloned_buffer->d->inset);
460                 d->inset->setBuffer(*this);
461                 // FIXME: optimize this loop somewhat, maybe by creating a new
462                 // general recursive Inset::setId().
463                 DocIterator it = doc_iterator_begin(this);
464                 DocIterator cloned_it = doc_iterator_begin(cloned_buffer);
465                 for (; !it.atEnd(); it.forwardPar(), cloned_it.forwardPar())
466                         it.paragraph().setId(cloned_it.paragraph().id());
467         } else
468                 d->inset = new InsetText(this);
469         d->inset->getText(0)->setMacrocontextPosition(par_iterator_begin());
470 }
471
472
473 Buffer::~Buffer()
474 {
475         LYXERR(Debug::INFO, "Buffer::~Buffer()");
476         // here the buffer should take care that it is
477         // saved properly, before it goes into the void.
478
479         // GuiView already destroyed
480         d->gui_ = 0;
481
482         if (isInternal()) {
483                 // No need to do additional cleanups for internal buffer.
484                 delete d;
485                 return;
486         }
487
488         if (isClone()) {
489                 // this is in case of recursive includes: we won't try to delete
490                 // ourselves as a child.
491                 d->clone_list_->erase(this);
492                 // loop over children
493                 Impl::BufferPositionMap::iterator it = d->children_positions.begin();
494                 Impl::BufferPositionMap::iterator end = d->children_positions.end();
495                 for (; it != end; ++it) {
496                         Buffer * child = const_cast<Buffer *>(it->first);
497                                 if (d->clone_list_->erase(child))
498                                         delete child;
499                 }
500                 // if we're the master buffer, then we should get rid of the list
501                 // of clones
502                 if (!parent()) {
503                         // If this is not empty, we have leaked something. Worse, one of the
504                         // children still has a reference to this list. But we will try to
505                         // continue, rather than shut down.
506                         LATTEST(d->clone_list_->empty());
507                         list<CloneList *>::iterator it =
508                                 find(cloned_buffers.begin(), cloned_buffers.end(), d->clone_list_);
509                         if (it == cloned_buffers.end()) {
510                                 // We will leak in this case, but it is safe to continue.
511                                 LATTEST(false);
512                         } else
513                                 cloned_buffers.erase(it);
514                         delete d->clone_list_;
515                 }
516                 // FIXME Do we really need to do this right before we delete d?
517                 // clear references to children in macro tables
518                 d->children_positions.clear();
519                 d->position_to_children.clear();
520         } else {
521                 // loop over children
522                 Impl::BufferPositionMap::iterator it = d->children_positions.begin();
523                 Impl::BufferPositionMap::iterator end = d->children_positions.end();
524                 for (; it != end; ++it) {
525                         Buffer * child = const_cast<Buffer *>(it->first);
526                         if (theBufferList().isLoaded(child)) { 
527                          if (theBufferList().isOthersChild(this, child))
528                                  child->setParent(0);
529                          else
530                                 theBufferList().release(child);
531                         }
532                 }
533
534                 if (!isClean()) {
535                         docstring msg = _("LyX attempted to close a document that had unsaved changes!\n");
536                         msg += emergencyWrite();
537                         Alert::warning(_("Attempting to close changed document!"), msg);
538                 }
539
540                 // FIXME Do we really need to do this right before we delete d?
541                 // clear references to children in macro tables
542                 d->children_positions.clear();
543                 d->position_to_children.clear();
544
545                 if (!d->temppath.destroyDirectory()) {
546                         LYXERR0(bformat(_("Could not remove the temporary directory %1$s"),
547                                 from_utf8(d->temppath.absFileName())));
548                 }
549                 removePreviews();
550         }
551
552         delete d;
553 }
554
555
556 Buffer * Buffer::cloneFromMaster() const
557 {
558         BufferMap bufmap;
559         cloned_buffers.push_back(new CloneList);
560         CloneList * clones = cloned_buffers.back();
561
562         masterBuffer()->cloneWithChildren(bufmap, clones);
563
564         // make sure we got cloned
565         BufferMap::const_iterator bit = bufmap.find(this);
566         LASSERT(bit != bufmap.end(), return 0);
567         Buffer * cloned_buffer = bit->second;
568
569         return cloned_buffer;
570 }
571
572
573 void Buffer::cloneWithChildren(BufferMap & bufmap, CloneList * clones) const
574 {
575         // have we already been cloned?
576         if (bufmap.find(this) != bufmap.end())
577                 return;
578
579         Buffer * buffer_clone = new Buffer(fileName().absFileName(), false, this);
580
581         // The clone needs its own DocumentClass, since running updateBuffer() will
582         // modify it, and we would otherwise be sharing it with the original Buffer.
583         buffer_clone->params().makeDocumentClass(true);
584         ErrorList el;
585         cap::switchBetweenClasses(
586                         params().documentClassPtr(), buffer_clone->params().documentClassPtr(),
587                         static_cast<InsetText &>(buffer_clone->inset()), el);
588
589         bufmap[this] = buffer_clone;
590         clones->insert(buffer_clone);
591         buffer_clone->d->clone_list_ = clones;
592         buffer_clone->d->macro_lock = true;
593         buffer_clone->d->children_positions.clear();
594
595         // FIXME (Abdel 09/01/2010): this is too complicated. The whole children_positions and
596         // math macro caches need to be rethought and simplified.
597         // I am not sure wether we should handle Buffer cloning here or in BufferList.
598         // Right now BufferList knows nothing about buffer clones.
599         Impl::PositionScopeBufferMap::iterator it = d->position_to_children.begin();
600         Impl::PositionScopeBufferMap::iterator end = d->position_to_children.end();
601         for (; it != end; ++it) {
602                 DocIterator dit = it->first.clone(buffer_clone);
603                 dit.setBuffer(buffer_clone);
604                 Buffer * child = const_cast<Buffer *>(it->second.buffer);
605
606                 child->cloneWithChildren(bufmap, clones);
607                 BufferMap::iterator const bit = bufmap.find(child);
608                 LASSERT(bit != bufmap.end(), continue);
609                 Buffer * child_clone = bit->second;
610
611                 Inset * inset = dit.nextInset();
612                 LASSERT(inset && inset->lyxCode() == INCLUDE_CODE, continue);
613                 InsetInclude * inset_inc = static_cast<InsetInclude *>(inset);
614                 inset_inc->setChildBuffer(child_clone);
615                 child_clone->d->setParent(buffer_clone);
616                 // FIXME Do we need to do this now, or can we wait until we run updateMacros()?
617                 buffer_clone->setChild(dit, child_clone);
618         }
619         buffer_clone->d->macro_lock = false;
620         return;
621 }
622
623
624 Buffer * Buffer::cloneBufferOnly() const {
625         cloned_buffers.push_back(new CloneList);
626         CloneList * clones = cloned_buffers.back();
627         Buffer * buffer_clone = new Buffer(fileName().absFileName(), false, this);
628
629         // The clone needs its own DocumentClass, since running updateBuffer() will
630         // modify it, and we would otherwise be sharing it with the original Buffer.
631         buffer_clone->params().makeDocumentClass(true);
632         ErrorList el;
633         cap::switchBetweenClasses(
634                         params().documentClassPtr(), buffer_clone->params().documentClassPtr(),
635                         static_cast<InsetText &>(buffer_clone->inset()), el);
636
637         clones->insert(buffer_clone);
638         buffer_clone->d->clone_list_ = clones;
639
640         // we won't be cloning the children
641         buffer_clone->d->children_positions.clear();
642         return buffer_clone;
643 }
644
645
646 bool Buffer::isClone() const
647 {
648         return d->cloned_buffer_;
649 }
650
651
652 void Buffer::changed(bool update_metrics) const
653 {
654         if (d->wa_)
655                 d->wa_->redrawAll(update_metrics);
656 }
657
658
659 frontend::WorkAreaManager & Buffer::workAreaManager() const
660 {
661         LBUFERR(d->wa_);
662         return *d->wa_;
663 }
664
665
666 Text & Buffer::text() const
667 {
668         return d->inset->text();
669 }
670
671
672 Inset & Buffer::inset() const
673 {
674         return *d->inset;
675 }
676
677
678 BufferParams & Buffer::params()
679 {
680         return d->params;
681 }
682
683
684 BufferParams const & Buffer::params() const
685 {
686         return d->params;
687 }
688
689
690 BufferParams const & Buffer::masterParams() const
691 {
692         if (masterBuffer() == this)
693                 return params();
694
695         BufferParams & mparams = const_cast<Buffer *>(masterBuffer())->params();
696         // Copy child authors to the params. We need those pointers.
697         AuthorList const & child_authors = params().authors();
698         AuthorList::Authors::const_iterator it = child_authors.begin();
699         for (; it != child_authors.end(); ++it)
700                 mparams.authors().record(*it);
701         return mparams;
702 }
703
704
705 double Buffer::fontScalingFactor() const
706 {
707         return isExporting() ? 75.0 * params().html_math_img_scale
708                 : 0.01 * lyxrc.dpi * lyxrc.zoom * lyxrc.preview_scale_factor * params().display_pixel_ratio;
709 }
710
711
712 ParagraphList & Buffer::paragraphs()
713 {
714         return text().paragraphs();
715 }
716
717
718 ParagraphList const & Buffer::paragraphs() const
719 {
720         return text().paragraphs();
721 }
722
723
724 LyXVC & Buffer::lyxvc()
725 {
726         return d->lyxvc;
727 }
728
729
730 LyXVC const & Buffer::lyxvc() const
731 {
732         return d->lyxvc;
733 }
734
735
736 string const Buffer::temppath() const
737 {
738         return d->temppath.absFileName();
739 }
740
741
742 TexRow & Buffer::texrow()
743 {
744         return d->texrow;
745 }
746
747
748 TexRow const & Buffer::texrow() const
749 {
750         return d->texrow;
751 }
752
753
754 TocBackend & Buffer::tocBackend() const
755 {
756         return d->toc_backend;
757 }
758
759
760 Undo & Buffer::undo()
761 {
762         return d->undo_;
763 }
764
765
766 void Buffer::setChild(DocIterator const & dit, Buffer * child)
767 {
768         d->children_positions[child] = dit;
769 }
770
771
772 string Buffer::latexName(bool const no_path) const
773 {
774         FileName latex_name =
775                 makeLatexName(d->exportFileName());
776         return no_path ? latex_name.onlyFileName()
777                 : latex_name.absFileName();
778 }
779
780
781 FileName Buffer::Impl::exportFileName() const
782 {
783         docstring const branch_suffix =
784                 params.branchlist().getFileNameSuffix();
785         if (branch_suffix.empty())
786                 return filename;
787
788         string const name = filename.onlyFileNameWithoutExt()
789                 + to_utf8(branch_suffix);
790         FileName res(filename.onlyPath().absFileName() + "/" + name);
791         res.changeExtension(filename.extension());
792
793         return res;
794 }
795
796
797 string Buffer::logName(LogType * type) const
798 {
799         string const filename = latexName(false);
800
801         if (filename.empty()) {
802                 if (type)
803                         *type = latexlog;
804                 return string();
805         }
806
807         string const path = temppath();
808
809         FileName const fname(addName(temppath(),
810                                      onlyFileName(changeExtension(filename,
811                                                                   ".log"))));
812
813         // FIXME: how do we know this is the name of the build log?
814         FileName const bname(
815                 addName(path, onlyFileName(
816                         changeExtension(filename,
817                                         formats.extension(params().bufferFormat()) + ".out"))));
818
819         // Also consider the master buffer log file
820         FileName masterfname = fname;
821         LogType mtype = latexlog;
822         if (masterBuffer() != this) {
823                 string const mlogfile = masterBuffer()->logName(&mtype);
824                 masterfname = FileName(mlogfile);
825         }
826
827         // If no Latex log or Build log is newer, show Build log
828         if (bname.exists() &&
829             ((!fname.exists() && !masterfname.exists())
830              || (fname.lastModified() < bname.lastModified()
831                  && masterfname.lastModified() < bname.lastModified()))) {
832                 LYXERR(Debug::FILES, "Log name calculated as: " << bname);
833                 if (type)
834                         *type = buildlog;
835                 return bname.absFileName();
836         // If we have a newer master file log or only a master log, show this
837         } else if (fname != masterfname
838                    && (!fname.exists() && (masterfname.exists()
839                    || fname.lastModified() < masterfname.lastModified()))) {
840                 LYXERR(Debug::FILES, "Log name calculated as: " << masterfname);
841                 if (type)
842                         *type = mtype;
843                 return masterfname.absFileName();
844         }
845         LYXERR(Debug::FILES, "Log name calculated as: " << fname);
846         if (type)
847                         *type = latexlog;
848         return fname.absFileName();
849 }
850
851
852 void Buffer::setReadonly(bool const flag)
853 {
854         if (d->read_only != flag) {
855                 d->read_only = flag;
856                 changed(false);
857         }
858 }
859
860
861 void Buffer::setFileName(FileName const & fname)
862 {
863         bool const changed = fname != d->filename;
864         d->filename = fname;
865         if (changed)
866                 lyxvc().file_found_hook(fname);
867         setReadonly(d->filename.isReadOnly());
868         saveCheckSum();
869         updateTitles();
870 }
871
872
873 int Buffer::readHeader(Lexer & lex)
874 {
875         int unknown_tokens = 0;
876         int line = -1;
877         int begin_header_line = -1;
878
879         // Initialize parameters that may be/go lacking in header:
880         params().branchlist().clear();
881         params().preamble.erase();
882         params().options.erase();
883         params().master.erase();
884         params().float_placement.erase();
885         params().paperwidth.erase();
886         params().paperheight.erase();
887         params().leftmargin.erase();
888         params().rightmargin.erase();
889         params().topmargin.erase();
890         params().bottommargin.erase();
891         params().headheight.erase();
892         params().headsep.erase();
893         params().footskip.erase();
894         params().columnsep.erase();
895         params().fonts_cjk.erase();
896         params().listings_params.clear();
897         params().clearLayoutModules();
898         params().clearRemovedModules();
899         params().clearIncludedChildren();
900         params().pdfoptions().clear();
901         params().indiceslist().clear();
902         params().backgroundcolor = lyx::rgbFromHexName("#ffffff");
903         params().isbackgroundcolor = false;
904         params().fontcolor = RGBColor(0, 0, 0);
905         params().isfontcolor = false;
906         params().notefontcolor = RGBColor(0xCC, 0xCC, 0xCC);
907         params().boxbgcolor = RGBColor(0xFF, 0, 0);
908         params().html_latex_start.clear();
909         params().html_latex_end.clear();
910         params().html_math_img_scale = 1.0;
911         params().output_sync_macro.erase();
912         params().setLocalLayout(docstring(), false);
913         params().setLocalLayout(docstring(), true);
914
915         for (int i = 0; i < 4; ++i) {
916                 params().user_defined_bullet(i) = ITEMIZE_DEFAULTS[i];
917                 params().temp_bullet(i) = ITEMIZE_DEFAULTS[i];
918         }
919
920         ErrorList & errorList = d->errorLists["Parse"];
921
922         while (lex.isOK()) {
923                 string token;
924                 lex >> token;
925
926                 if (token.empty())
927                         continue;
928
929                 if (token == "\\end_header")
930                         break;
931
932                 ++line;
933                 if (token == "\\begin_header") {
934                         begin_header_line = line;
935                         continue;
936                 }
937
938                 LYXERR(Debug::PARSER, "Handling document header token: `"
939                                       << token << '\'');
940
941                 string const result =
942                         params().readToken(lex, token, d->filename.onlyPath());
943                 if (!result.empty()) {
944                         if (token == "\\textclass") {
945                                 d->layout_position = result;
946                         } else {
947                                 ++unknown_tokens;
948                                 docstring const s = bformat(_("Unknown token: "
949                                                                         "%1$s %2$s\n"),
950                                                          from_utf8(token),
951                                                          lex.getDocString());
952                                 errorList.push_back(ErrorItem(_("Document header error"), s));
953                         }
954                 }
955         }
956         if (begin_header_line) {
957                 docstring const s = _("\\begin_header is missing");
958                 errorList.push_back(ErrorItem(_("Document header error"), s));
959         }
960
961         params().makeDocumentClass();
962
963         return unknown_tokens;
964 }
965
966
967 // Uwe C. Schroeder
968 // changed to be public and have one parameter
969 // Returns true if "\end_document" is not read (Asger)
970 bool Buffer::readDocument(Lexer & lex)
971 {
972         ErrorList & errorList = d->errorLists["Parse"];
973         errorList.clear();
974
975         // remove dummy empty par
976         paragraphs().clear();
977
978         if (!lex.checkFor("\\begin_document")) {
979                 docstring const s = _("\\begin_document is missing");
980                 errorList.push_back(ErrorItem(_("Document header error"), s));
981         }
982
983         readHeader(lex);
984
985         if (params().output_changes) {
986                 bool dvipost    = LaTeXFeatures::isAvailable("dvipost");
987                 bool xcolorulem = LaTeXFeatures::isAvailable("ulem") &&
988                                   LaTeXFeatures::isAvailable("xcolor");
989
990                 if (!dvipost && !xcolorulem) {
991                         Alert::warning(_("Changes not shown in LaTeX output"),
992                                        _("Changes will not be highlighted in LaTeX output, "
993                                          "because neither dvipost nor xcolor/ulem are installed.\n"
994                                          "Please install these packages or redefine "
995                                          "\\lyxadded and \\lyxdeleted in the LaTeX preamble."));
996                 } else if (!xcolorulem) {
997                         Alert::warning(_("Changes not shown in LaTeX output"),
998                                        _("Changes will not be highlighted in LaTeX output "
999                                          "when using pdflatex, because xcolor and ulem are not installed.\n"
1000                                          "Please install both packages or redefine "
1001                                          "\\lyxadded and \\lyxdeleted in the LaTeX preamble."));
1002                 }
1003         }
1004
1005         if (!parent() && !params().master.empty()) {
1006                 FileName const master_file = makeAbsPath(params().master,
1007                            onlyPath(absFileName()));
1008                 if (isLyXFileName(master_file.absFileName())) {
1009                         Buffer * master =
1010                                 checkAndLoadLyXFile(master_file, true);
1011                         if (master) {
1012                                 // necessary e.g. after a reload
1013                                 // to re-register the child (bug 5873)
1014                                 // FIXME: clean up updateMacros (here, only
1015                                 // child registering is needed).
1016                                 master->updateMacros();
1017                                 // set master as master buffer, but only
1018                                 // if we are a real child
1019                                 if (master->isChild(this))
1020                                         setParent(master);
1021                                 // if the master is not fully loaded
1022                                 // it is probably just loading this
1023                                 // child. No warning needed then.
1024                                 else if (master->isFullyLoaded())
1025                                         LYXERR0("The master '"
1026                                                 << params().master
1027                                                 << "' assigned to this document ("
1028                                                 << absFileName()
1029                                                 << ") does not include "
1030                                                 "this document. Ignoring the master assignment.");
1031                         }
1032                 }
1033         }
1034
1035         // assure we have a default index
1036         params().indiceslist().addDefault(B_("Index"));
1037
1038         // read main text
1039         if (FileName::isAbsolute(params().origin))
1040                 d->old_position = params().origin;
1041         else
1042                 d->old_position = filePath();
1043         bool const res = text().read(lex, errorList, d->inset);
1044         d->old_position.clear();
1045
1046         // inform parent buffer about local macros
1047         if (parent()) {
1048                 Buffer const * pbuf = parent();
1049                 UserMacroSet::const_iterator cit = usermacros.begin();
1050                 UserMacroSet::const_iterator end = usermacros.end();
1051                 for (; cit != end; ++cit)
1052                         pbuf->usermacros.insert(*cit);
1053         }
1054         usermacros.clear();
1055         updateMacros();
1056         updateMacroInstances(InternalUpdate);
1057         return res;
1058 }
1059
1060
1061 bool Buffer::importString(string const & format, docstring const & contents, ErrorList & errorList)
1062 {
1063         Format const * fmt = formats.getFormat(format);
1064         if (!fmt)
1065                 return false;
1066         // It is important to use the correct extension here, since some
1067         // converters create a wrong output file otherwise (e.g. html2latex)
1068         TempFile const tempfile("Buffer_importStringXXXXXX." + fmt->extension());
1069         FileName const name(tempfile.name());
1070         ofdocstream os(name.toFilesystemEncoding().c_str());
1071         // Do not convert os implicitly to bool, since that is forbidden in C++11.
1072         bool const success = !(os << contents).fail();
1073         os.close();
1074
1075         bool converted = false;
1076         if (success) {
1077                 params().compressed = false;
1078
1079                 // remove dummy empty par
1080                 paragraphs().clear();
1081
1082                 converted = importFile(format, name, errorList);
1083         }
1084
1085         if (name.exists())
1086                 name.removeFile();
1087         return converted;
1088 }
1089
1090
1091 bool Buffer::importFile(string const & format, FileName const & name, ErrorList & errorList)
1092 {
1093         if (!theConverters().isReachable(format, "lyx"))
1094                 return false;
1095
1096         TempFile const tempfile("Buffer_importFileXXXXXX.lyx");
1097         FileName const lyx(tempfile.name());
1098         if (theConverters().convert(0, name, lyx, name, format, "lyx", errorList))
1099                 return readFile(lyx) == ReadSuccess;
1100
1101         return false;
1102 }
1103
1104
1105 bool Buffer::readString(string const & s)
1106 {
1107         params().compressed = false;
1108
1109         Lexer lex;
1110         istringstream is(s);
1111         lex.setStream(is);
1112         TempFile tempfile("Buffer_readStringXXXXXX.lyx");
1113         FileName const fn = tempfile.name();
1114
1115         int file_format;
1116         bool success = parseLyXFormat(lex, fn, file_format) == ReadSuccess;
1117
1118         if (success && file_format != LYX_FORMAT) {
1119                 // We need to call lyx2lyx, so write the input to a file
1120                 ofstream os(fn.toFilesystemEncoding().c_str());
1121                 os << s;
1122                 os.close();
1123                 // lyxvc in readFile
1124                 if (readFile(fn) != ReadSuccess)
1125                         success = false;
1126         }
1127         else if (success)
1128                 if (readDocument(lex))
1129                         success = false;
1130         return success;
1131 }
1132
1133
1134 Buffer::ReadStatus Buffer::readFile(FileName const & fn)
1135 {
1136         FileName fname(fn);
1137         Lexer lex;
1138         if (!lex.setFile(fname)) {
1139                 Alert::error(_("File Not Found"),
1140                         bformat(_("Unable to open file `%1$s'."),
1141                                 from_utf8(fn.absFileName())));
1142                 return ReadFileNotFound;
1143         }
1144
1145         int file_format;
1146         ReadStatus const ret_plf = parseLyXFormat(lex, fn, file_format);
1147         if (ret_plf != ReadSuccess)
1148                 return ret_plf;
1149
1150         if (file_format != LYX_FORMAT) {
1151                 FileName tmpFile;
1152                 ReadStatus ret_clf = convertLyXFormat(fn, tmpFile, file_format);
1153                 if (ret_clf != ReadSuccess)
1154                         return ret_clf;
1155                 ret_clf = readFile(tmpFile);
1156                 if (ret_clf == ReadSuccess) {
1157                         d->file_format = file_format;
1158                         d->need_format_backup = true;
1159                 }
1160                 return ret_clf;
1161         }
1162
1163         // FIXME: InsetInfo needs to know whether the file is under VCS
1164         // during the parse process, so this has to be done before.
1165         lyxvc().file_found_hook(d->filename);
1166
1167         if (readDocument(lex)) {
1168                 Alert::error(_("Document format failure"),
1169                         bformat(_("%1$s ended unexpectedly, which means"
1170                                 " that it is probably corrupted."),
1171                                         from_utf8(fn.absFileName())));
1172                 return ReadDocumentFailure;
1173         }
1174
1175         d->file_fully_loaded = true;
1176         d->read_only = !d->filename.isWritable();
1177         params().compressed = formats.isZippedFile(d->filename);
1178         saveCheckSum();
1179         return ReadSuccess;
1180 }
1181
1182
1183 bool Buffer::isFullyLoaded() const
1184 {
1185         return d->file_fully_loaded;
1186 }
1187
1188
1189 void Buffer::setFullyLoaded(bool value)
1190 {
1191         d->file_fully_loaded = value;
1192 }
1193
1194
1195 bool Buffer::lastPreviewError() const
1196 {
1197         return d->preview_error_;
1198 }
1199
1200
1201 PreviewLoader * Buffer::loader() const
1202 {
1203         if (!isExporting() && lyxrc.preview == LyXRC::PREVIEW_OFF)
1204                 return 0;
1205         if (!d->preview_loader_)
1206                 d->preview_loader_ = new PreviewLoader(*this);
1207         return d->preview_loader_;
1208 }
1209
1210
1211 void Buffer::removePreviews() const
1212 {
1213         delete d->preview_loader_;
1214         d->preview_loader_ = 0;
1215 }
1216
1217
1218 void Buffer::updatePreviews() const
1219 {
1220         PreviewLoader * ploader = loader();
1221         if (!ploader)
1222                 return;
1223
1224         InsetIterator it = inset_iterator_begin(*d->inset);
1225         InsetIterator const end = inset_iterator_end(*d->inset);
1226         for (; it != end; ++it)
1227                 it->addPreview(it, *ploader);
1228
1229         ploader->startLoading();
1230 }
1231
1232
1233 Buffer::ReadStatus Buffer::parseLyXFormat(Lexer & lex,
1234         FileName const & fn, int & file_format) const
1235 {
1236         if(!lex.checkFor("\\lyxformat")) {
1237                 Alert::error(_("Document format failure"),
1238                         bformat(_("%1$s is not a readable LyX document."),
1239                                 from_utf8(fn.absFileName())));
1240                 return ReadNoLyXFormat;
1241         }
1242
1243         string tmp_format;
1244         lex >> tmp_format;
1245
1246         // LyX formats 217 and earlier were written as 2.17. This corresponds
1247         // to files from LyX versions < 1.1.6.3. We just remove the dot in
1248         // these cases. See also: www.lyx.org/trac/changeset/1313.
1249         size_t dot = tmp_format.find_first_of(".,");
1250         if (dot != string::npos)
1251                 tmp_format.erase(dot, 1);
1252
1253         file_format = convert<int>(tmp_format);
1254         return ReadSuccess;
1255 }
1256
1257
1258 Buffer::ReadStatus Buffer::convertLyXFormat(FileName const & fn,
1259         FileName & tmpfile, int from_format)
1260 {
1261         TempFile tempfile("Buffer_convertLyXFormatXXXXXX.lyx");
1262         tempfile.setAutoRemove(false);
1263         tmpfile = tempfile.name();
1264         if(tmpfile.empty()) {
1265                 Alert::error(_("Conversion failed"),
1266                         bformat(_("%1$s is from a different"
1267                                 " version of LyX, but a temporary"
1268                                 " file for converting it could"
1269                                 " not be created."),
1270                                 from_utf8(fn.absFileName())));
1271                 return LyX2LyXNoTempFile;
1272         }
1273
1274         FileName const lyx2lyx = libFileSearch("lyx2lyx", "lyx2lyx");
1275         if (lyx2lyx.empty()) {
1276                 Alert::error(_("Conversion script not found"),
1277                      bformat(_("%1$s is from a different"
1278                                " version of LyX, but the"
1279                                " conversion script lyx2lyx"
1280                                " could not be found."),
1281                                from_utf8(fn.absFileName())));
1282                 return LyX2LyXNotFound;
1283         }
1284
1285         // Run lyx2lyx:
1286         //   $python$ "$lyx2lyx$" -t $LYX_FORMAT$ -o "$tempfile$" "$filetoread$"
1287         ostringstream command;
1288         command << os::python()
1289                 << ' ' << quoteName(lyx2lyx.toFilesystemEncoding())
1290                 << " -t " << convert<string>(LYX_FORMAT)
1291                 << " -o " << quoteName(tmpfile.toFilesystemEncoding())
1292                 << ' ' << quoteName(fn.toSafeFilesystemEncoding());
1293         string const command_str = command.str();
1294
1295         LYXERR(Debug::INFO, "Running '" << command_str << '\'');
1296
1297         cmd_ret const ret = runCommand(command_str);
1298         if (ret.first != 0) {
1299                 if (from_format < LYX_FORMAT) {
1300                         Alert::error(_("Conversion script failed"),
1301                                 bformat(_("%1$s is from an older version"
1302                                         " of LyX and the lyx2lyx script"
1303                                         " failed to convert it."),
1304                                         from_utf8(fn.absFileName())));
1305                         return LyX2LyXOlderFormat;
1306                 } else {
1307                         Alert::error(_("Conversion script failed"),
1308                                 bformat(_("%1$s is from a newer version"
1309                                         " of LyX and the lyx2lyx script"
1310                                         " failed to convert it."),
1311                                         from_utf8(fn.absFileName())));
1312                         return LyX2LyXNewerFormat;
1313                 }
1314         }
1315         return ReadSuccess;
1316 }
1317
1318
1319 FileName Buffer::getBackupName() const {
1320         FileName const & fn = fileName();
1321         string const fname = fn.onlyFileNameWithoutExt();
1322         string const fext  = fn.extension() + "~";
1323         string const fpath = lyxrc.backupdir_path.empty() ?
1324                 fn.onlyPath().absFileName() :
1325                 lyxrc.backupdir_path;
1326         string const fform = convert<string>(d->file_format);
1327         string const backname = fname + "-lyxformat-" + fform;
1328         FileName backup(addName(fpath, addExtension(backname, fext)));
1329
1330         // limit recursion, just in case
1331         int v = 1;
1332         unsigned long orig_checksum = 0;
1333         while (backup.exists() && v < 100) {
1334                 if (orig_checksum == 0)
1335                         orig_checksum = fn.checksum();
1336                 unsigned long new_checksum = backup.checksum();
1337                 if (orig_checksum == new_checksum) {
1338                         LYXERR(Debug::FILES, "Not backing up " << fn <<
1339                                "since " << backup << "has the same checksum.");
1340                         // a bit of a hack, but we have to check this anyway
1341                         // below, and setting this is simpler than introducing
1342                         // a special boolean for this purpose.
1343                         v = 1000;
1344                         break;
1345                 }
1346                 string const newbackname = backname + "-" + convert<string>(v);
1347                 backup.set(addName(fpath, addExtension(newbackname, fext)));
1348                 v++;
1349         }
1350         return v < 100 ? backup : FileName();
1351 }
1352
1353
1354 // Should probably be moved to somewhere else: BufferView? GuiView?
1355 bool Buffer::save() const
1356 {
1357         docstring const file = makeDisplayPath(absFileName(), 20);
1358         d->filename.refresh();
1359
1360         // check the read-only status before moving the file as a backup
1361         if (d->filename.exists()) {
1362                 bool const read_only = !d->filename.isWritable();
1363                 if (read_only) {
1364                         Alert::warning(_("File is read-only"),
1365                                 bformat(_("The file %1$s cannot be written because it "
1366                                 "is marked as read-only."), file));
1367                         return false;
1368                 }
1369         }
1370
1371         // ask if the disk file has been externally modified (use checksum method)
1372         if (fileName().exists() && isExternallyModified(checksum_method)) {
1373                 docstring text =
1374                         bformat(_("Document %1$s has been externally modified. "
1375                                 "Are you sure you want to overwrite this file?"), file);
1376                 int const ret = Alert::prompt(_("Overwrite modified file?"),
1377                         text, 1, 1, _("&Overwrite"), _("&Cancel"));
1378                 if (ret == 1)
1379                         return false;
1380         }
1381
1382         // We don't need autosaves in the immediate future. (Asger)
1383         resetAutosaveTimers();
1384
1385         // if the file does not yet exist, none of the backup activity
1386         // that follows is necessary
1387   if (!fileName().exists()) {
1388                 if (!writeFile(fileName()))
1389       return false;
1390     markClean();
1391     return true;
1392   }
1393
1394         // we first write the file to a new name, then move it to its
1395         // proper location once that has been done successfully. that
1396         // way we preserve the original file if something goes wrong.
1397         string const justname = fileName().onlyFileNameWithoutExt();
1398         auto tempfile = make_unique<TempFile>(fileName().onlyPath(),
1399                                               justname + "-XXXXXX.lyx");
1400         bool const symlink = fileName().isSymLink();
1401         if (!symlink)
1402                 tempfile->setAutoRemove(false);
1403
1404         FileName savefile(tempfile->name());
1405         LYXERR(Debug::FILES, "Saving to " << savefile.absFileName());
1406         if (!writeFile(savefile))
1407                 return false;
1408
1409         // we will set this to false if we fail
1410         bool made_backup = true;
1411
1412         FileName backupName;
1413         bool const needBackup = lyxrc.make_backup || d->need_format_backup;
1414         if (needBackup) {
1415                 if (d->need_format_backup)
1416                         backupName = getBackupName();
1417
1418                 // If we for some reason failed to find a backup name in case of
1419                 // a format change, this will still set one. It's the best we can
1420                 // do in this case.
1421                 if (backupName.empty()) {
1422                         backupName.set(fileName().absFileName() + "~");
1423                         if (!lyxrc.backupdir_path.empty()) {
1424                                 string const mangledName =
1425                                         subst(subst(backupName.absFileName(), '/', '!'), ':', '!');
1426                                 backupName.set(addName(lyxrc.backupdir_path, mangledName));
1427                         }
1428                 }
1429
1430                 LYXERR(Debug::FILES, "Backing up original file to " <<
1431                                 backupName.absFileName());
1432                 // Except file is symlink do not copy because of #6587.
1433                 // Hard links have bad luck.
1434                 made_backup = symlink ?
1435                         fileName().copyTo(backupName):
1436                         fileName().moveTo(backupName);
1437
1438                 if (!made_backup) {
1439                         Alert::error(_("Backup failure"),
1440                                      bformat(_("Cannot create backup file %1$s.\n"
1441                                                "Please check whether the directory exists and is writable."),
1442                                              from_utf8(backupName.absFileName())));
1443                         //LYXERR(Debug::DEBUG, "Fs error: " << fe.what());
1444                 } else if (d->need_format_backup) {
1445                         // the original file has been backed up successfully, so we
1446                         // will not need to do that again
1447                         d->need_format_backup = false;
1448                 }
1449         }
1450
1451         // Destroy tempfile since it keeps the file locked on windows (bug 9234)
1452         // Only do this if tempfile is not in autoremove mode
1453         if (!symlink)
1454                 tempfile.reset();
1455         // If we have no symlink, we can simply rename the temp file.
1456         // Otherwise, we need to copy it so the symlink stays intact.
1457         if (made_backup && symlink ? savefile.copyTo(fileName(), true) :
1458                                            savefile.moveTo(fileName()))
1459         {
1460                 // saveCheckSum() was already called by writeFile(), but the
1461                 // time stamp is invalidated by copying/moving
1462                 saveCheckSum();
1463                 markClean();
1464                 if (d->file_format != LYX_FORMAT)
1465                         // the file associated with this buffer is now in the current format
1466                         d->file_format = LYX_FORMAT;
1467                 return true;
1468         }
1469         // else we saved the file, but failed to move it to the right location.
1470
1471         if (needBackup && made_backup && !symlink) {
1472                 // the original file was moved to some new location, so it will look
1473                 // to the user as if it was deleted. (see bug #9234.) we could try
1474                 // to restore it, but that would basically mean trying to do again
1475                 // what we just failed to do. better to leave things as they are.
1476                 Alert::error(_("Write failure"),
1477                              bformat(_("The file has successfully been saved as:\n  %1$s.\n"
1478                                        "But LyX could not move it to:\n  %2$s.\n"
1479                                        "Your original file has been backed up to:\n  %3$s"),
1480                                      from_utf8(savefile.absFileName()),
1481                                      from_utf8(fileName().absFileName()),
1482                                      from_utf8(backupName.absFileName())));
1483         } else {
1484                 // either we did not try to make a backup, or else we tried and failed,
1485                 // or else the original file was a symlink, in which case it was copied,
1486                 // not moved. so the original file is intact.
1487                 Alert::error(_("Write failure"),
1488                              bformat(_("Cannot move saved file to:\n  %1$s.\n"
1489                                        "But the file has successfully been saved as:\n  %2$s."),
1490                                      from_utf8(fileName().absFileName()),
1491                          from_utf8(savefile.absFileName())));
1492         }
1493         return false;
1494 }
1495
1496
1497 bool Buffer::writeFile(FileName const & fname) const
1498 {
1499         if (d->read_only && fname == d->filename)
1500                 return false;
1501
1502         bool retval = false;
1503
1504         docstring const str = bformat(_("Saving document %1$s..."),
1505                 makeDisplayPath(fname.absFileName()));
1506         message(str);
1507
1508         string const encoded_fname = fname.toSafeFilesystemEncoding(os::CREATE);
1509
1510         if (params().compressed) {
1511                 gz::ogzstream ofs(encoded_fname.c_str(), ios::out|ios::trunc);
1512                 retval = ofs && write(ofs);
1513         } else {
1514                 ofstream ofs(encoded_fname.c_str(), ios::out|ios::trunc);
1515                 retval = ofs && write(ofs);
1516         }
1517
1518         if (!retval) {
1519                 message(str + _(" could not write file!"));
1520                 return false;
1521         }
1522
1523         // see bug 6587
1524         // removeAutosaveFile();
1525
1526         saveCheckSum();
1527         message(str + _(" done."));
1528
1529         return true;
1530 }
1531
1532
1533 docstring Buffer::emergencyWrite()
1534 {
1535         // No need to save if the buffer has not changed.
1536         if (isClean())
1537                 return docstring();
1538
1539         string const doc = isUnnamed() ? onlyFileName(absFileName()) : absFileName();
1540
1541         docstring user_message = bformat(
1542                 _("LyX: Attempting to save document %1$s\n"), from_utf8(doc));
1543
1544         // We try to save three places:
1545         // 1) Same place as document. Unless it is an unnamed doc.
1546         if (!isUnnamed()) {
1547                 string s = absFileName();
1548                 s += ".emergency";
1549                 LYXERR0("  " << s);
1550                 if (writeFile(FileName(s))) {
1551                         markClean();
1552                         user_message += "  " + bformat(_("Saved to %1$s. Phew.\n"), from_utf8(s));
1553                         return user_message;
1554                 } else {
1555                         user_message += "  " + _("Save failed! Trying again...\n");
1556                 }
1557         }
1558
1559         // 2) In HOME directory.
1560         string s = addName(Package::get_home_dir().absFileName(), absFileName());
1561         s += ".emergency";
1562         lyxerr << ' ' << s << endl;
1563         if (writeFile(FileName(s))) {
1564                 markClean();
1565                 user_message += "  " + bformat(_("Saved to %1$s. Phew.\n"), from_utf8(s));
1566                 return user_message;
1567         }
1568
1569         user_message += "  " + _("Save failed! Trying yet again...\n");
1570
1571         // 3) In "/tmp" directory.
1572         // MakeAbsPath to prepend the current
1573         // drive letter on OS/2
1574         s = addName(package().temp_dir().absFileName(), absFileName());
1575         s += ".emergency";
1576         lyxerr << ' ' << s << endl;
1577         if (writeFile(FileName(s))) {
1578                 markClean();
1579                 user_message += "  " + bformat(_("Saved to %1$s. Phew.\n"), from_utf8(s));
1580                 return user_message;
1581         }
1582
1583         user_message += "  " + _("Save failed! Bummer. Document is lost.");
1584         // Don't try again.
1585         markClean();
1586         return user_message;
1587 }
1588
1589
1590 bool Buffer::write(ostream & ofs) const
1591 {
1592 #ifdef HAVE_LOCALE
1593         // Use the standard "C" locale for file output.
1594         ofs.imbue(locale::classic());
1595 #endif
1596
1597         // The top of the file should not be written by params().
1598
1599         // write out a comment in the top of the file
1600         // Important: Keep the version formatting in sync with lyx2lyx and
1601         //            tex2lyx (bug 7951)
1602         ofs << "#LyX " << lyx_version_major << "." << lyx_version_minor
1603             << " created this file. For more info see http://www.lyx.org/\n"
1604             << "\\lyxformat " << LYX_FORMAT << "\n"
1605             << "\\begin_document\n";
1606
1607         /// For each author, set 'used' to true if there is a change
1608         /// by this author in the document; otherwise set it to 'false'.
1609         AuthorList::Authors::const_iterator a_it = params().authors().begin();
1610         AuthorList::Authors::const_iterator a_end = params().authors().end();
1611         for (; a_it != a_end; ++a_it)
1612                 a_it->setUsed(false);
1613
1614         ParIterator const end = const_cast<Buffer *>(this)->par_iterator_end();
1615         ParIterator it = const_cast<Buffer *>(this)->par_iterator_begin();
1616         for ( ; it != end; ++it)
1617                 it->checkAuthors(params().authors());
1618
1619         // now write out the buffer parameters.
1620         ofs << "\\begin_header\n";
1621         params().writeFile(ofs, this);
1622         ofs << "\\end_header\n";
1623
1624         // write the text
1625         ofs << "\n\\begin_body\n";
1626         text().write(ofs);
1627         ofs << "\n\\end_body\n";
1628
1629         // Write marker that shows file is complete
1630         ofs << "\\end_document" << endl;
1631
1632         // Shouldn't really be needed....
1633         //ofs.close();
1634
1635         // how to check if close went ok?
1636         // Following is an attempt... (BE 20001011)
1637
1638         // good() returns false if any error occurred, including some
1639         //        formatting error.
1640         // bad()  returns true if something bad happened in the buffer,
1641         //        which should include file system full errors.
1642
1643         bool status = true;
1644         if (!ofs) {
1645                 status = false;
1646                 lyxerr << "File was not closed properly." << endl;
1647         }
1648
1649         return status;
1650 }
1651
1652
1653 bool Buffer::makeLaTeXFile(FileName const & fname,
1654                            string const & original_path,
1655                            OutputParams const & runparams_in,
1656                            OutputWhat output) const
1657 {
1658         OutputParams runparams = runparams_in;
1659
1660         // XeTeX with TeX fonts is only safe with ASCII encoding (see also #9740),
1661         // Check here, because the "flavor" is not known in BufferParams::encoding()
1662         // (power users can override this safety measure selecting "utf8-plain").
1663         if (!params().useNonTeXFonts && (runparams.flavor == OutputParams::XETEX)
1664             && (runparams.encoding->name() != "utf8-plain"))
1665                 runparams.encoding = encodings.fromLyXName("ascii");
1666
1667         string const encoding = runparams.encoding->iconvName();
1668         LYXERR(Debug::LATEX, "makeLaTeXFile encoding: " << encoding << ", fname=" << fname.realPath());
1669
1670         ofdocstream ofs;
1671         try { ofs.reset(encoding); }
1672         catch (iconv_codecvt_facet_exception const & e) {
1673                 lyxerr << "Caught iconv exception: " << e.what() << endl;
1674                 Alert::error(_("Iconv software exception Detected"), bformat(_("Please "
1675                         "verify that the support software for your encoding (%1$s) is "
1676                         "properly installed"), from_ascii(encoding)));
1677                 return false;
1678         }
1679         if (!openFileWrite(ofs, fname))
1680                 return false;
1681
1682         ErrorList & errorList = d->errorLists["Export"];
1683         errorList.clear();
1684         bool failed_export = false;
1685         otexstream os(ofs);
1686
1687         // make sure we are ready to export
1688         // this needs to be done before we validate
1689         // FIXME Do we need to do this all the time? I.e., in children
1690         // of a master we are exporting?
1691         updateBuffer();
1692         updateMacroInstances(OutputUpdate);
1693
1694         try {
1695                 writeLaTeXSource(os, original_path, runparams, output);
1696         }
1697         catch (EncodingException const & e) {
1698                 docstring const failed(1, e.failed_char);
1699                 ostringstream oss;
1700                 oss << "0x" << hex << e.failed_char << dec;
1701                 docstring msg = bformat(_("Could not find LaTeX command for character '%1$s'"
1702                                           " (code point %2$s)"),
1703                                           failed, from_utf8(oss.str()));
1704                 errorList.push_back(ErrorItem(msg, _("Some characters of your document are probably not "
1705                                 "representable in the chosen encoding.\n"
1706                                 "Changing the document encoding to utf8 could help."),
1707                                               {e.par_id, e.pos}, {e.par_id, e.pos + 1}));
1708                 failed_export = true;
1709         }
1710         catch (iconv_codecvt_facet_exception const & e) {
1711                 errorList.push_back(ErrorItem(_("iconv conversion failed"),
1712                                               _(e.what())));
1713                 failed_export = true;
1714         }
1715         catch (exception const & e) {
1716                 errorList.push_back(ErrorItem(_("conversion failed"),
1717                                               _(e.what())));
1718                 failed_export = true;
1719         }
1720         catch (...) {
1721                 lyxerr << "Caught some really weird exception..." << endl;
1722                 lyx_exit(1);
1723         }
1724
1725         d->texrow = move(os.texrow());
1726
1727         ofs.close();
1728         if (ofs.fail()) {
1729                 failed_export = true;
1730                 lyxerr << "File '" << fname << "' was not closed properly." << endl;
1731         }
1732
1733         if (runparams_in.silent)
1734                 errorList.clear();
1735         else
1736                 errors("Export");
1737         return !failed_export;
1738 }
1739
1740
1741 void Buffer::writeLaTeXSource(otexstream & os,
1742                            string const & original_path,
1743                            OutputParams const & runparams_in,
1744                            OutputWhat output) const
1745 {
1746         // The child documents, if any, shall be already loaded at this point.
1747
1748         OutputParams runparams = runparams_in;
1749
1750         // XeTeX with TeX fonts is only safe with ASCII encoding,
1751         // Check here, because the "flavor" is not known in BufferParams::encoding()
1752         // (power users can override this safety measure selecting "utf8-plain").
1753         if (!params().useNonTeXFonts && (runparams.flavor == OutputParams::XETEX)
1754             && (runparams.encoding->name() != "utf8-plain"))
1755                 runparams.encoding = encodings.fromLyXName("ascii");
1756         // FIXME: when only the current paragraph is shown, this is ignored
1757         //        (or not reached) and characters encodable in the current
1758         //        encoding are not converted to ASCII-representation.
1759
1760         // If we are compiling a file standalone, even if this is the
1761         // child of some other buffer, let's cut the link here, so the
1762         // file is really independent and no concurring settings from
1763         // the master (e.g. branch state) interfere (see #8100).
1764         if (!runparams.is_child)
1765                 d->ignore_parent = true;
1766
1767         // Classify the unicode characters appearing in math insets
1768         BufferEncodings::initUnicodeMath(*this);
1769
1770         // validate the buffer.
1771         LYXERR(Debug::LATEX, "  Validating buffer...");
1772         LaTeXFeatures features(*this, params(), runparams);
1773         validate(features);
1774         // This is only set once per document (in master)
1775         if (!runparams.is_child)
1776                 runparams.use_polyglossia = features.usePolyglossia();
1777         LYXERR(Debug::LATEX, "  Buffer validation done.");
1778
1779         bool const output_preamble =
1780                 output == FullSource || output == OnlyPreamble;
1781         bool const output_body =
1782                 output == FullSource || output == OnlyBody;
1783
1784         // The starting paragraph of the coming rows is the
1785         // first paragraph of the document. (Asger)
1786         if (output_preamble && runparams.nice) {
1787                 os << "%% LyX " << lyx_version << " created this file.  "
1788                         "For more info, see http://www.lyx.org/.\n"
1789                         "%% Do not edit unless you really know what "
1790                         "you are doing.\n";
1791         }
1792         LYXERR(Debug::INFO, "lyx document header finished");
1793
1794         // There are a few differences between nice LaTeX and usual files:
1795         // usual files have \batchmode and special input@path to allow
1796         // inclusion of figures specified by an explicitly relative path
1797         // (i.e., a path starting with './' or '../') with either \input or
1798         // \includegraphics, as the TEXINPUTS method doesn't work in this case.
1799         // input@path is set when the actual parameter original_path is set.
1800         // This is done for usual tex-file, but not for nice-latex-file.
1801         // (Matthias 250696)
1802         // Note that input@path is only needed for something the user does
1803         // in the preamble, included .tex files or ERT, files included by
1804         // LyX work without it.
1805         if (output_preamble) {
1806                 if (!runparams.nice) {
1807                         // code for usual, NOT nice-latex-file
1808                         os << "\\batchmode\n"; // changed from \nonstopmode
1809                 }
1810                 if (!original_path.empty()) {
1811                         // FIXME UNICODE
1812                         // We don't know the encoding of inputpath
1813                         docstring const inputpath = from_utf8(original_path);
1814                         docstring uncodable_glyphs;
1815                         Encoding const * const enc = runparams.encoding;
1816                         if (enc) {
1817                                 for (size_t n = 0; n < inputpath.size(); ++n) {
1818                                         if (!enc->encodable(inputpath[n])) {
1819                                                 docstring const glyph(1, inputpath[n]);
1820                                                 LYXERR0("Uncodable character '"
1821                                                         << glyph
1822                                                         << "' in input path!");
1823                                                 uncodable_glyphs += glyph;
1824                                         }
1825                                 }
1826                         }
1827
1828                         // warn user if we found uncodable glyphs.
1829                         if (!uncodable_glyphs.empty()) {
1830                                 frontend::Alert::warning(
1831                                         _("Uncodable character in file path"),
1832                                         support::bformat(
1833                                           _("The path of your document\n"
1834                                             "(%1$s)\n"
1835                                             "contains glyphs that are unknown "
1836                                             "in the current document encoding "
1837                                             "(namely %2$s). This may result in "
1838                                             "incomplete output, unless "
1839                                             "TEXINPUTS contains the document "
1840                                             "directory and you don't use "
1841                                             "explicitly relative paths (i.e., "
1842                                             "paths starting with './' or "
1843                                             "'../') in the preamble or in ERT."
1844                                             "\n\nIn case of problems, choose "
1845                                             "an appropriate document encoding\n"
1846                                             "(such as utf8) or change the "
1847                                             "file path name."),
1848                                           inputpath, uncodable_glyphs));
1849                         } else {
1850                                 string docdir =
1851                                         support::latex_path(original_path);
1852                                 if (contains(docdir, '#')) {
1853                                         docdir = subst(docdir, "#", "\\#");
1854                                         os << "\\catcode`\\#=11"
1855                                               "\\def\\#{#}\\catcode`\\#=6\n";
1856                                 }
1857                                 if (contains(docdir, '%')) {
1858                                         docdir = subst(docdir, "%", "\\%");
1859                                         os << "\\catcode`\\%=11"
1860                                               "\\def\\%{%}\\catcode`\\%=14\n";
1861                                 }
1862                                 os << "\\makeatletter\n"
1863                                    << "\\def\\input@path{{"
1864                                    << docdir << "}}\n"
1865                                    << "\\makeatother\n";
1866                         }
1867                 }
1868
1869                 // get parent macros (if this buffer has a parent) which will be
1870                 // written at the document begin further down.
1871                 MacroSet parentMacros;
1872                 listParentMacros(parentMacros, features);
1873
1874                 // Write the preamble
1875                 runparams.use_babel = params().writeLaTeX(os, features,
1876                                                           d->filename.onlyPath());
1877
1878                 // Japanese might be required only in some children of a document,
1879                 // but once required, we must keep use_japanese true.
1880                 runparams.use_japanese |= features.isRequired("japanese");
1881
1882                 if (!output_body) {
1883                         // Restore the parenthood if needed
1884                         if (!runparams.is_child)
1885                                 d->ignore_parent = false;
1886                         return;
1887                 }
1888
1889                 // make the body.
1890                 // mark the beginning of the body to separate it from InPreamble insets
1891                 os.texrow().start(TexRow::beginDocument());
1892                 os << "\\begin{document}\n";
1893
1894                 // mark the start of a new paragraph by simulating a newline,
1895                 // so that os.afterParbreak() returns true at document start
1896                 os.lastChar('\n');
1897
1898                 // output the parent macros
1899                 MacroSet::iterator it = parentMacros.begin();
1900                 MacroSet::iterator end = parentMacros.end();
1901                 for (; it != end; ++it) {
1902                         int num_lines = (*it)->write(os.os(), true);
1903                         os.texrow().newlines(num_lines);
1904                 }
1905
1906         } // output_preamble
1907
1908         LYXERR(Debug::INFO, "preamble finished, now the body.");
1909
1910         // the real stuff
1911         latexParagraphs(*this, text(), os, runparams);
1912
1913         // Restore the parenthood if needed
1914         if (!runparams.is_child)
1915                 d->ignore_parent = false;
1916
1917         // add this just in case after all the paragraphs
1918         os << endl;
1919
1920         if (output_preamble) {
1921                 os << "\\end{document}\n";
1922                 LYXERR(Debug::LATEX, "makeLaTeXFile...done");
1923         } else {
1924                 LYXERR(Debug::LATEX, "LaTeXFile for inclusion made.");
1925         }
1926         runparams_in.encoding = runparams.encoding;
1927
1928         LYXERR(Debug::INFO, "Finished making LaTeX file.");
1929         LYXERR(Debug::INFO, "Row count was " << os.texrow().rows() - 1 << '.');
1930 }
1931
1932
1933 void Buffer::makeDocBookFile(FileName const & fname,
1934                               OutputParams const & runparams,
1935                               OutputWhat output) const
1936 {
1937         LYXERR(Debug::LATEX, "makeDocBookFile...");
1938
1939         ofdocstream ofs;
1940         if (!openFileWrite(ofs, fname))
1941                 return;
1942
1943         // make sure we are ready to export
1944         // this needs to be done before we validate
1945         updateBuffer();
1946         updateMacroInstances(OutputUpdate);
1947
1948         writeDocBookSource(ofs, fname.absFileName(), runparams, output);
1949
1950         ofs.close();
1951         if (ofs.fail())
1952                 lyxerr << "File '" << fname << "' was not closed properly." << endl;
1953 }
1954
1955
1956 void Buffer::writeDocBookSource(odocstream & os, string const & fname,
1957                              OutputParams const & runparams,
1958                              OutputWhat output) const
1959 {
1960         LaTeXFeatures features(*this, params(), runparams);
1961         validate(features);
1962
1963         d->texrow.reset();
1964
1965         DocumentClass const & tclass = params().documentClass();
1966         string const & top_element = tclass.latexname();
1967
1968         bool const output_preamble =
1969                 output == FullSource || output == OnlyPreamble;
1970         bool const output_body =
1971           output == FullSource || output == OnlyBody;
1972
1973         if (output_preamble) {
1974                 if (runparams.flavor == OutputParams::XML)
1975                         os << "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n";
1976
1977                 // FIXME UNICODE
1978                 os << "<!DOCTYPE " << from_ascii(top_element) << ' ';
1979
1980                 // FIXME UNICODE
1981                 if (! tclass.class_header().empty())
1982                         os << from_ascii(tclass.class_header());
1983                 else if (runparams.flavor == OutputParams::XML)
1984                         os << "PUBLIC \"-//OASIS//DTD DocBook XML//EN\" "
1985                             << "\"http://www.oasis-open.org/docbook/xml/4.2/docbookx.dtd\"";
1986                 else
1987                         os << " PUBLIC \"-//OASIS//DTD DocBook V4.2//EN\"";
1988
1989                 docstring preamble = params().preamble;
1990                 if (runparams.flavor != OutputParams::XML ) {
1991                         preamble += "<!ENTITY % output.print.png \"IGNORE\">\n";
1992                         preamble += "<!ENTITY % output.print.pdf \"IGNORE\">\n";
1993                         preamble += "<!ENTITY % output.print.eps \"IGNORE\">\n";
1994                         preamble += "<!ENTITY % output.print.bmp \"IGNORE\">\n";
1995                 }
1996
1997                 string const name = runparams.nice
1998                         ? changeExtension(absFileName(), ".sgml") : fname;
1999                 preamble += features.getIncludedFiles(name);
2000                 preamble += features.getLyXSGMLEntities();
2001
2002                 if (!preamble.empty()) {
2003                         os << "\n [ " << preamble << " ]";
2004                 }
2005                 os << ">\n\n";
2006         }
2007
2008         if (output_body) {
2009                 string top = top_element;
2010                 top += " lang=\"";
2011                 if (runparams.flavor == OutputParams::XML)
2012                         top += params().language->code();
2013                 else
2014                         top += params().language->code().substr(0, 2);
2015                 top += '"';
2016
2017                 if (!params().options.empty()) {
2018                         top += ' ';
2019                         top += params().options;
2020                 }
2021
2022                 os << "<!-- " << ((runparams.flavor == OutputParams::XML)? "XML" : "SGML")
2023                                 << " file was created by LyX " << lyx_version
2024                                 << "\n  See http://www.lyx.org/ for more information -->\n";
2025
2026                 params().documentClass().counters().reset();
2027
2028                 sgml::openTag(os, top);
2029                 os << '\n';
2030                 docbookParagraphs(text(), *this, os, runparams);
2031                 sgml::closeTag(os, top_element);
2032         }
2033 }
2034
2035
2036 void Buffer::makeLyXHTMLFile(FileName const & fname,
2037                               OutputParams const & runparams) const
2038 {
2039         LYXERR(Debug::LATEX, "makeLyXHTMLFile...");
2040
2041         ofdocstream ofs;
2042         if (!openFileWrite(ofs, fname))
2043                 return;
2044
2045         // make sure we are ready to export
2046         // this has to be done before we validate
2047         updateBuffer(UpdateMaster, OutputUpdate);
2048         updateMacroInstances(OutputUpdate);
2049
2050         writeLyXHTMLSource(ofs, runparams, FullSource);
2051
2052         ofs.close();
2053         if (ofs.fail())
2054                 lyxerr << "File '" << fname << "' was not closed properly." << endl;
2055 }
2056
2057
2058 void Buffer::writeLyXHTMLSource(odocstream & os,
2059                              OutputParams const & runparams,
2060                              OutputWhat output) const
2061 {
2062         LaTeXFeatures features(*this, params(), runparams);
2063         validate(features);
2064         d->bibinfo_.makeCitationLabels(*this);
2065
2066         bool const output_preamble =
2067                 output == FullSource || output == OnlyPreamble;
2068         bool const output_body =
2069           output == FullSource || output == OnlyBody || output == IncludedFile;
2070
2071         if (output_preamble) {
2072                 os << "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n"
2073                    << "<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN\" \"http://www.w3.org/Math/DTD/mathml2/xhtml-math11-f.dtd\">\n"
2074                    // FIXME Language should be set properly.
2075                    << "<html xmlns=\"http://www.w3.org/1999/xhtml\">\n"
2076                    << "<head>\n"
2077                    << "<meta name=\"GENERATOR\" content=\"" << PACKAGE_STRING << "\" />\n"
2078                    // FIXME Presumably need to set this right
2079                    << "<meta http-equiv=\"Content-type\" content=\"text/html;charset=UTF-8\" />\n";
2080
2081                 docstring const & doctitle = features.htmlTitle();
2082                 os << "<title>"
2083                    << (doctitle.empty() ?
2084                          from_ascii("LyX Document") :
2085                          html::htmlize(doctitle, XHTMLStream::ESCAPE_ALL))
2086                    << "</title>\n";
2087
2088                 docstring styles = features.getTClassHTMLPreamble();
2089                 if (!styles.empty())
2090                         os << "\n<!-- Text Class Preamble -->\n" << styles << '\n';
2091
2092                 styles = features.getPreambleSnippets().str;
2093                 if (!styles.empty())
2094                         os << "\n<!-- Preamble Snippets -->\n" << styles << '\n';
2095
2096                 // we will collect CSS information in a stream, and then output it
2097                 // either here, as part of the header, or else in a separate file.
2098                 odocstringstream css;
2099                 styles = features.getCSSSnippets();
2100                 if (!styles.empty())
2101                         css << "/* LyX Provided Styles */\n" << styles << '\n';
2102
2103                 styles = features.getTClassHTMLStyles();
2104                 if (!styles.empty())
2105                         css << "/* Layout-provided Styles */\n" << styles << '\n';
2106
2107                 bool const needfg = params().fontcolor != RGBColor(0, 0, 0);
2108                 bool const needbg = params().backgroundcolor != RGBColor(0xFF, 0xFF, 0xFF);
2109                 if (needfg || needbg) {
2110                                 css << "\nbody {\n";
2111                                 if (needfg)
2112                                    css << "  color: "
2113                                             << from_ascii(X11hexname(params().fontcolor))
2114                                             << ";\n";
2115                                 if (needbg)
2116                                    css << "  background-color: "
2117                                             << from_ascii(X11hexname(params().backgroundcolor))
2118                                             << ";\n";
2119                                 css << "}\n";
2120                 }
2121
2122                 docstring const dstyles = css.str();
2123                 if (!dstyles.empty()) {
2124                         bool written = false;
2125                         if (params().html_css_as_file) {
2126                                 // open a file for CSS info
2127                                 ofdocstream ocss;
2128                                 string const fcssname = addName(temppath(), "docstyle.css");
2129                                 FileName const fcssfile = FileName(fcssname);
2130                                 if (openFileWrite(ocss, fcssfile)) {
2131                                         ocss << dstyles;
2132                                         ocss.close();
2133                                         written = true;
2134                                         // write link to header
2135                                         os << "<link rel='stylesheet' href='docstyle.css' type='text/css' />\n";
2136                                         // register file
2137                                         runparams.exportdata->addExternalFile("xhtml", fcssfile);
2138                                 }
2139                         }
2140                         // we are here if the CSS is supposed to be written to the header
2141                         // or if we failed to write it to an external file.
2142                         if (!written) {
2143                                 os << "<style type='text/css'>\n"
2144                                          << dstyles
2145                                          << "\n</style>\n";
2146                         }
2147                 }
2148                 os << "</head>\n";
2149         }
2150
2151         if (output_body) {
2152                 bool const output_body_tag = (output != IncludedFile);
2153                 if (output_body_tag)
2154                         os << "<body dir=\"auto\">\n";
2155                 XHTMLStream xs(os);
2156                 if (output != IncludedFile)
2157                         // if we're an included file, the counters are in the master.
2158                         params().documentClass().counters().reset();
2159                 xhtmlParagraphs(text(), *this, xs, runparams);
2160                 if (output_body_tag)
2161                         os << "</body>\n";
2162         }
2163
2164         if (output_preamble)
2165                 os << "</html>\n";
2166 }
2167
2168
2169 // chktex should be run with these flags disabled: 3, 22, 25, 30, 38(?)
2170 // Other flags: -wall -v0 -x
2171 int Buffer::runChktex()
2172 {
2173         setBusy(true);
2174
2175         // get LaTeX-Filename
2176         FileName const path(temppath());
2177         string const name = addName(path.absFileName(), latexName());
2178         string const org_path = filePath();
2179
2180         PathChanger p(path); // path to LaTeX file
2181         message(_("Running chktex..."));
2182
2183         // Generate the LaTeX file if neccessary
2184         OutputParams runparams(&params().encoding());
2185         runparams.flavor = OutputParams::LATEX;
2186         runparams.nice = false;
2187         runparams.linelen = lyxrc.plaintext_linelen;
2188         makeLaTeXFile(FileName(name), org_path, runparams);
2189
2190         TeXErrors terr;
2191         Chktex chktex(lyxrc.chktex_command, onlyFileName(name), filePath());
2192         int const res = chktex.run(terr); // run chktex
2193
2194         if (res == -1) {
2195                 Alert::error(_("chktex failure"),
2196                              _("Could not run chktex successfully."));
2197         } else {
2198                 ErrorList & errlist = d->errorLists["ChkTeX"];
2199                 errlist.clear();
2200                 bufferErrors(terr, errlist);
2201         }
2202
2203         setBusy(false);
2204
2205         if (runparams.silent)
2206                 d->errorLists["ChkTeX"].clear();
2207         else
2208                 errors("ChkTeX");
2209
2210         return res;
2211 }
2212
2213
2214 void Buffer::validate(LaTeXFeatures & features) const
2215 {
2216         // Validate the buffer params, but not for included
2217         // files, since they also use the parent buffer's
2218         // params (# 5941)
2219         if (!features.runparams().is_child)
2220                 params().validate(features);
2221
2222         for (Paragraph const & p : paragraphs())
2223                 p.validate(features);
2224
2225         if (lyxerr.debugging(Debug::LATEX)) {
2226                 features.showStruct();
2227         }
2228 }
2229
2230
2231 void Buffer::getLabelList(vector<docstring> & list) const
2232 {
2233         // If this is a child document, use the master's list instead.
2234         if (parent()) {
2235                 masterBuffer()->getLabelList(list);
2236                 return;
2237         }
2238
2239         list.clear();
2240         shared_ptr<Toc> toc = d->toc_backend.toc("label");
2241         Toc::const_iterator toc_it = toc->begin();
2242         Toc::const_iterator end = toc->end();
2243         for (; toc_it != end; ++toc_it) {
2244                 if (toc_it->depth() == 0)
2245                         list.push_back(toc_it->str());
2246         }
2247 }
2248
2249
2250 void Buffer::updateBibfilesCache(UpdateScope scope) const
2251 {
2252         // FIXME This is probably unnecssary, given where we call this.
2253         // If this is a child document, use the parent's cache instead.
2254         if (parent() && scope != UpdateChildOnly) {
2255                 masterBuffer()->updateBibfilesCache();
2256                 return;
2257         }
2258
2259         d->bibfiles_cache_.clear();
2260         for (InsetIterator it = inset_iterator_begin(inset()); it; ++it) {
2261                 if (it->lyxCode() == BIBTEX_CODE) {
2262                         InsetBibtex const & inset = static_cast<InsetBibtex const &>(*it);
2263                         support::FileNameList const bibfiles = inset.getBibFiles();
2264                         d->bibfiles_cache_.insert(d->bibfiles_cache_.end(),
2265                                 bibfiles.begin(),
2266                                 bibfiles.end());
2267                 } else if (it->lyxCode() == INCLUDE_CODE) {
2268                         InsetInclude & inset = static_cast<InsetInclude &>(*it);
2269                         Buffer const * const incbuf = inset.getChildBuffer();
2270                         if (!incbuf)
2271                                 continue;
2272                         support::FileNameList const & bibfiles =
2273                                         incbuf->getBibfilesCache(UpdateChildOnly);
2274                         if (!bibfiles.empty()) {
2275                                 d->bibfiles_cache_.insert(d->bibfiles_cache_.end(),
2276                                         bibfiles.begin(),
2277                                         bibfiles.end());
2278                         }
2279                 }
2280         }
2281         d->bibfile_cache_valid_ = true;
2282         d->bibinfo_cache_valid_ = false;
2283         d->cite_labels_valid_ = false;
2284 }
2285
2286
2287 void Buffer::invalidateBibinfoCache() const
2288 {
2289         d->bibinfo_cache_valid_ = false;
2290         d->cite_labels_valid_ = false;
2291         // also invalidate the cache for the parent buffer
2292         Buffer const * const pbuf = d->parent();
2293         if (pbuf)
2294                 pbuf->invalidateBibinfoCache();
2295 }
2296
2297
2298 void Buffer::invalidateBibfileCache() const
2299 {
2300         d->bibfile_cache_valid_ = false;
2301         d->bibinfo_cache_valid_ = false;
2302         d->cite_labels_valid_ = false;
2303         // also invalidate the cache for the parent buffer
2304         Buffer const * const pbuf = d->parent();
2305         if (pbuf)
2306                 pbuf->invalidateBibfileCache();
2307 }
2308
2309
2310 support::FileNameList const & Buffer::getBibfilesCache(UpdateScope scope) const
2311 {
2312         // FIXME This is probably unnecessary, given where we call this.
2313         // If this is a child document, use the master's cache instead.
2314         Buffer const * const pbuf = masterBuffer();
2315         if (pbuf != this && scope != UpdateChildOnly)
2316                 return pbuf->getBibfilesCache();
2317
2318         if (!d->bibfile_cache_valid_)
2319                 this->updateBibfilesCache(scope);
2320
2321         return d->bibfiles_cache_;
2322 }
2323
2324
2325 BiblioInfo const & Buffer::masterBibInfo() const
2326 {
2327         Buffer const * const tmp = masterBuffer();
2328         if (tmp != this)
2329                 return tmp->masterBibInfo();
2330         return d->bibinfo_;
2331 }
2332
2333
2334 void Buffer::checkIfBibInfoCacheIsValid() const
2335 {
2336         // use the master's cache
2337         Buffer const * const tmp = masterBuffer();
2338         if (tmp != this) {
2339                 tmp->checkIfBibInfoCacheIsValid();
2340                 return;
2341         }
2342
2343         // compare the cached timestamps with the actual ones.
2344         FileNameList const & bibfiles_cache = getBibfilesCache();
2345         FileNameList::const_iterator ei = bibfiles_cache.begin();
2346         FileNameList::const_iterator en = bibfiles_cache.end();
2347         for (; ei != en; ++ ei) {
2348                 time_t lastw = ei->lastModified();
2349                 time_t prevw = d->bibfile_status_[*ei];
2350                 if (lastw != prevw) {
2351                         d->bibinfo_cache_valid_ = false;
2352                         d->cite_labels_valid_ = false;
2353                         d->bibfile_status_[*ei] = lastw;
2354                 }
2355         }
2356 }
2357
2358
2359 void Buffer::reloadBibInfoCache() const
2360 {
2361         // use the master's cache
2362         Buffer const * const tmp = masterBuffer();
2363         if (tmp != this) {
2364                 tmp->reloadBibInfoCache();
2365                 return;
2366         }
2367
2368         checkIfBibInfoCacheIsValid();
2369         if (d->bibinfo_cache_valid_)
2370                 return;
2371
2372         d->bibinfo_.clear();
2373         collectBibKeys();
2374         d->bibinfo_cache_valid_ = true;
2375 }
2376
2377
2378 void Buffer::collectBibKeys() const
2379 {
2380         for (InsetIterator it = inset_iterator_begin(inset()); it; ++it)
2381                 it->collectBibKeys(it);
2382 }
2383
2384
2385 void Buffer::addBiblioInfo(BiblioInfo const & bi) const
2386 {
2387         Buffer const * tmp = masterBuffer();
2388         BiblioInfo & masterbi = (tmp == this) ?
2389                 d->bibinfo_ : tmp->d->bibinfo_;
2390         masterbi.mergeBiblioInfo(bi);
2391 }
2392
2393
2394 void Buffer::addBibTeXInfo(docstring const & key, BibTeXInfo const & bi) const
2395 {
2396         Buffer const * tmp = masterBuffer();
2397         BiblioInfo & masterbi = (tmp == this) ?
2398                 d->bibinfo_ : tmp->d->bibinfo_;
2399         masterbi[key] = bi;
2400 }
2401
2402
2403 void Buffer::makeCitationLabels() const
2404 {
2405         Buffer const * const master = masterBuffer();
2406         return d->bibinfo_.makeCitationLabels(*master);
2407 }
2408
2409
2410 bool Buffer::citeLabelsValid() const
2411 {
2412         return masterBuffer()->d->cite_labels_valid_;
2413 }
2414
2415
2416 void Buffer::removeBiblioTempFiles() const
2417 {
2418         // We remove files that contain LaTeX commands specific to the
2419         // particular bibliographic style being used, in order to avoid
2420         // LaTeX errors when we switch style.
2421         FileName const aux_file(addName(temppath(), changeExtension(latexName(),".aux")));
2422         FileName const bbl_file(addName(temppath(), changeExtension(latexName(),".bbl")));
2423         LYXERR(Debug::FILES, "Removing the .aux file " << aux_file);
2424         aux_file.removeFile();
2425         LYXERR(Debug::FILES, "Removing the .bbl file " << bbl_file);
2426         bbl_file.removeFile();
2427         // Also for the parent buffer
2428         Buffer const * const pbuf = parent();
2429         if (pbuf)
2430                 pbuf->removeBiblioTempFiles();
2431 }
2432
2433
2434 bool Buffer::isDepClean(string const & name) const
2435 {
2436         DepClean::const_iterator const it = d->dep_clean.find(name);
2437         if (it == d->dep_clean.end())
2438                 return true;
2439         return it->second;
2440 }
2441
2442
2443 void Buffer::markDepClean(string const & name)
2444 {
2445         d->dep_clean[name] = true;
2446 }
2447
2448
2449 bool Buffer::getStatus(FuncRequest const & cmd, FuncStatus & flag)
2450 {
2451         if (isInternal()) {
2452                 // FIXME? if there is an Buffer LFUN that can be dispatched even
2453                 // if internal, put a switch '(cmd.action)' here.
2454                 return false;
2455         }
2456
2457         bool enable = true;
2458
2459         switch (cmd.action()) {
2460
2461         case LFUN_BUFFER_TOGGLE_READ_ONLY:
2462                 flag.setOnOff(isReadonly());
2463                 break;
2464
2465                 // FIXME: There is need for a command-line import.
2466                 //case LFUN_BUFFER_IMPORT:
2467
2468         case LFUN_BUFFER_AUTO_SAVE:
2469                 break;
2470
2471         case LFUN_BUFFER_EXPORT_CUSTOM:
2472                 // FIXME: Nothing to check here?
2473                 break;
2474
2475         case LFUN_BUFFER_EXPORT: {
2476                 docstring const arg = cmd.argument();
2477                 if (arg == "custom") {
2478                         enable = true;
2479                         break;
2480                 }
2481                 string format = to_utf8(arg);
2482                 size_t pos = format.find(' ');
2483                 if (pos != string::npos)
2484                         format = format.substr(0, pos);
2485                 enable = params().isExportable(format, false);
2486                 if (!enable)
2487                         flag.message(bformat(
2488                                              _("Don't know how to export to format: %1$s"), arg));
2489                 break;
2490         }
2491
2492         case LFUN_BUFFER_CHKTEX:
2493                 enable = params().isLatex() && !lyxrc.chktex_command.empty();
2494                 break;
2495
2496         case LFUN_BUILD_PROGRAM:
2497                 enable = params().isExportable("program", false);
2498                 break;
2499
2500         case LFUN_BRANCH_ACTIVATE:
2501         case LFUN_BRANCH_DEACTIVATE:
2502         case LFUN_BRANCH_MASTER_ACTIVATE:
2503         case LFUN_BRANCH_MASTER_DEACTIVATE: {
2504                 bool const master = (cmd.action() == LFUN_BRANCH_MASTER_ACTIVATE
2505                                      || cmd.action() == LFUN_BRANCH_MASTER_DEACTIVATE);
2506                 BranchList const & branchList = master ? masterBuffer()->params().branchlist()
2507                         : params().branchlist();
2508                 docstring const branchName = cmd.argument();
2509                 flag.setEnabled(!branchName.empty() && branchList.find(branchName));
2510                 break;
2511         }
2512
2513         case LFUN_BRANCH_ADD:
2514         case LFUN_BRANCHES_RENAME:
2515                 // if no Buffer is present, then of course we won't be called!
2516                 break;
2517
2518         case LFUN_BUFFER_LANGUAGE:
2519                 enable = !isReadonly();
2520                 break;
2521
2522         case LFUN_BUFFER_VIEW_CACHE:
2523                 (d->preview_file_).refresh();
2524                 enable = (d->preview_file_).exists() && !(d->preview_file_).isFileEmpty();
2525                 break;
2526
2527         case LFUN_CHANGES_TRACK:
2528                 flag.setEnabled(true);
2529                 flag.setOnOff(params().track_changes);
2530                 break;
2531
2532         case LFUN_CHANGES_OUTPUT:
2533                 flag.setEnabled(true);
2534                 flag.setOnOff(params().output_changes);
2535                 break;
2536
2537         case LFUN_BUFFER_TOGGLE_COMPRESSION: {
2538                 flag.setOnOff(params().compressed);
2539                 break;
2540         }
2541
2542         case LFUN_BUFFER_TOGGLE_OUTPUT_SYNC: {
2543                 flag.setOnOff(params().output_sync);
2544                 break;
2545         }
2546
2547         default:
2548                 return false;
2549         }
2550         flag.setEnabled(enable);
2551         return true;
2552 }
2553
2554
2555 void Buffer::dispatch(string const & command, DispatchResult & result)
2556 {
2557         return dispatch(lyxaction.lookupFunc(command), result);
2558 }
2559
2560
2561 // NOTE We can end up here even if we have no GUI, because we are called
2562 // by LyX::exec to handled command-line requests. So we may need to check
2563 // whether we have a GUI or not. The boolean use_gui holds this information.
2564 void Buffer::dispatch(FuncRequest const & func, DispatchResult & dr)
2565 {
2566         if (isInternal()) {
2567                 // FIXME? if there is an Buffer LFUN that can be dispatched even
2568                 // if internal, put a switch '(cmd.action())' here.
2569                 dr.dispatched(false);
2570                 return;
2571         }
2572         string const argument = to_utf8(func.argument());
2573         // We'll set this back to false if need be.
2574         bool dispatched = true;
2575         undo().beginUndoGroup();
2576
2577         switch (func.action()) {
2578         case LFUN_BUFFER_TOGGLE_READ_ONLY:
2579                 if (lyxvc().inUse()) {
2580                         string log = lyxvc().toggleReadOnly();
2581                         if (!log.empty())
2582                                 dr.setMessage(log);
2583                 }
2584                 else
2585                         setReadonly(!isReadonly());
2586                 break;
2587
2588         case LFUN_BUFFER_EXPORT: {
2589                 ExportStatus const status = doExport(argument, false);
2590                 dr.setError(status != ExportSuccess);
2591                 if (status != ExportSuccess)
2592                         dr.setMessage(bformat(_("Error exporting to format: %1$s."),
2593                                               func.argument()));
2594                 break;
2595         }
2596
2597         case LFUN_BUILD_PROGRAM: {
2598                 ExportStatus const status = doExport("program", true);
2599                 dr.setError(status != ExportSuccess);
2600                 if (status != ExportSuccess)
2601                         dr.setMessage(_("Error generating literate programming code."));
2602                 break;
2603         }
2604
2605         case LFUN_BUFFER_CHKTEX:
2606                 runChktex();
2607                 break;
2608
2609         case LFUN_BUFFER_EXPORT_CUSTOM: {
2610                 string format_name;
2611                 string command = split(argument, format_name, ' ');
2612                 Format const * format = formats.getFormat(format_name);
2613                 if (!format) {
2614                         lyxerr << "Format \"" << format_name
2615                                 << "\" not recognized!"
2616                                 << endl;
2617                         break;
2618                 }
2619
2620                 // The name of the file created by the conversion process
2621                 string filename;
2622
2623                 // Output to filename
2624                 if (format->name() == "lyx") {
2625                         string const latexname = latexName(false);
2626                         filename = changeExtension(latexname,
2627                                 format->extension());
2628                         filename = addName(temppath(), filename);
2629
2630                         if (!writeFile(FileName(filename)))
2631                                 break;
2632
2633                 } else {
2634                         doExport(format_name, true, filename);
2635                 }
2636
2637                 // Substitute $$FName for filename
2638                 if (!contains(command, "$$FName"))
2639                         command = "( " + command + " ) < $$FName";
2640                 command = subst(command, "$$FName", filename);
2641
2642                 // Execute the command in the background
2643                 Systemcall call;
2644                 call.startscript(Systemcall::DontWait, command,
2645                                  filePath(), layoutPos());
2646                 break;
2647         }
2648
2649         // FIXME: There is need for a command-line import.
2650         /*
2651         case LFUN_BUFFER_IMPORT:
2652                 doImport(argument);
2653                 break;
2654         */
2655
2656         case LFUN_BUFFER_AUTO_SAVE:
2657                 autoSave();
2658                 resetAutosaveTimers();
2659                 break;
2660
2661         case LFUN_BRANCH_ACTIVATE:
2662         case LFUN_BRANCH_DEACTIVATE:
2663         case LFUN_BRANCH_MASTER_ACTIVATE:
2664         case LFUN_BRANCH_MASTER_DEACTIVATE: {
2665                 bool const master = (func.action() == LFUN_BRANCH_MASTER_ACTIVATE
2666                                      || func.action() == LFUN_BRANCH_MASTER_DEACTIVATE);
2667                 Buffer * buf = master ? const_cast<Buffer *>(masterBuffer())
2668                                       : this;
2669
2670                 docstring const branch_name = func.argument();
2671                 // the case without a branch name is handled elsewhere
2672                 if (branch_name.empty()) {
2673                         dispatched = false;
2674                         break;
2675                 }
2676                 Branch * branch = buf->params().branchlist().find(branch_name);
2677                 if (!branch) {
2678                         LYXERR0("Branch " << branch_name << " does not exist.");
2679                         dr.setError(true);
2680                         docstring const msg =
2681                                 bformat(_("Branch \"%1$s\" does not exist."), branch_name);
2682                         dr.setMessage(msg);
2683                         break;
2684                 }
2685                 bool const activate = (func.action() == LFUN_BRANCH_ACTIVATE
2686                                        || func.action() == LFUN_BRANCH_MASTER_ACTIVATE);
2687                 if (branch->isSelected() != activate) {
2688                         buf->undo().recordUndoBufferParams(CursorData());
2689                         branch->setSelected(activate);
2690                         dr.setError(false);
2691                         dr.screenUpdate(Update::Force);
2692                         dr.forceBufferUpdate();
2693                 }
2694                 break;
2695         }
2696
2697         case LFUN_BRANCH_ADD: {
2698                 docstring branch_name = func.argument();
2699                 if (branch_name.empty()) {
2700                         dispatched = false;
2701                         break;
2702                 }
2703                 BranchList & branch_list = params().branchlist();
2704                 vector<docstring> const branches =
2705                         getVectorFromString(branch_name, branch_list.separator());
2706                 docstring msg;
2707                 for (vector<docstring>::const_iterator it = branches.begin();
2708                      it != branches.end(); ++it) {
2709                         branch_name = *it;
2710                         Branch * branch = branch_list.find(branch_name);
2711                         if (branch) {
2712                                 LYXERR0("Branch " << branch_name << " already exists.");
2713                                 dr.setError(true);
2714                                 if (!msg.empty())
2715                                         msg += ("\n");
2716                                 msg += bformat(_("Branch \"%1$s\" already exists."), branch_name);
2717                         } else {
2718                                 undo().recordUndoBufferParams(CursorData());
2719                                 branch_list.add(branch_name);
2720                                 branch = branch_list.find(branch_name);
2721                                 string const x11hexname = X11hexname(branch->color());
2722                                 docstring const str = branch_name + ' ' + from_ascii(x11hexname);
2723                                 lyx::dispatch(FuncRequest(LFUN_SET_COLOR, str));
2724                                 dr.setError(false);
2725                                 dr.screenUpdate(Update::Force);
2726                         }
2727                 }
2728                 if (!msg.empty())
2729                         dr.setMessage(msg);
2730                 break;
2731         }
2732
2733         case LFUN_BRANCHES_RENAME: {
2734                 if (func.argument().empty())
2735                         break;
2736
2737                 docstring const oldname = from_utf8(func.getArg(0));
2738                 docstring const newname = from_utf8(func.getArg(1));
2739                 InsetIterator it  = inset_iterator_begin(inset());
2740                 InsetIterator const end = inset_iterator_end(inset());
2741                 bool success = false;
2742                 for (; it != end; ++it) {
2743                         if (it->lyxCode() == BRANCH_CODE) {
2744                                 InsetBranch & ins = static_cast<InsetBranch &>(*it);
2745                                 if (ins.branch() == oldname) {
2746                                         undo().recordUndo(CursorData(it));
2747                                         ins.rename(newname);
2748                                         success = true;
2749                                         continue;
2750                                 }
2751                         }
2752                         if (it->lyxCode() == INCLUDE_CODE) {
2753                                 // get buffer of external file
2754                                 InsetInclude const & ins =
2755                                         static_cast<InsetInclude const &>(*it);
2756                                 Buffer * child = ins.getChildBuffer();
2757                                 if (!child)
2758                                         continue;
2759                                 child->dispatch(func, dr);
2760                         }
2761                 }
2762
2763                 if (success) {
2764                         dr.screenUpdate(Update::Force);
2765                         dr.forceBufferUpdate();
2766                 }
2767                 break;
2768         }
2769
2770         case LFUN_BUFFER_VIEW_CACHE:
2771                 if (!formats.view(*this, d->preview_file_,
2772                                   d->preview_format_))
2773                         dr.setMessage(_("Error viewing the output file."));
2774                 break;
2775
2776         case LFUN_CHANGES_TRACK:
2777                 if (params().save_transient_properties)
2778                         undo().recordUndoBufferParams(CursorData());
2779                 params().track_changes = !params().track_changes;
2780                 if (!params().track_changes)
2781                         dr.forceChangesUpdate();
2782                 break;
2783
2784         case LFUN_CHANGES_OUTPUT:
2785                 if (params().save_transient_properties)
2786                         undo().recordUndoBufferParams(CursorData());
2787                 params().output_changes = !params().output_changes;
2788                 if (params().output_changes) {
2789                         bool dvipost    = LaTeXFeatures::isAvailable("dvipost");
2790                         bool xcolorulem = LaTeXFeatures::isAvailable("ulem") &&
2791                                           LaTeXFeatures::isAvailable("xcolor");
2792
2793                         if (!dvipost && !xcolorulem) {
2794                                 Alert::warning(_("Changes not shown in LaTeX output"),
2795                                                _("Changes will not be highlighted in LaTeX output, "
2796                                                  "because neither dvipost nor xcolor/ulem are installed.\n"
2797                                                  "Please install these packages or redefine "
2798                                                  "\\lyxadded and \\lyxdeleted in the LaTeX preamble."));
2799                         } else if (!xcolorulem) {
2800                                 Alert::warning(_("Changes not shown in LaTeX output"),
2801                                                _("Changes will not be highlighted in LaTeX output "
2802                                                  "when using pdflatex, because xcolor and ulem are not installed.\n"
2803                                                  "Please install both packages or redefine "
2804                                                  "\\lyxadded and \\lyxdeleted in the LaTeX preamble."));
2805                         }
2806                 }
2807                 break;
2808
2809         case LFUN_BUFFER_TOGGLE_COMPRESSION:
2810                 // turn compression on/off
2811                 undo().recordUndoBufferParams(CursorData());
2812                 params().compressed = !params().compressed;
2813                 break;
2814
2815         case LFUN_BUFFER_TOGGLE_OUTPUT_SYNC:
2816                 undo().recordUndoBufferParams(CursorData());
2817                 params().output_sync = !params().output_sync;
2818                 break;
2819
2820         default:
2821                 dispatched = false;
2822                 break;
2823         }
2824         dr.dispatched(dispatched);
2825         undo().endUndoGroup();
2826 }
2827
2828
2829 void Buffer::changeLanguage(Language const * from, Language const * to)
2830 {
2831         LASSERT(from, return);
2832         LASSERT(to, return);
2833
2834         for_each(par_iterator_begin(),
2835                  par_iterator_end(),
2836                  bind(&Paragraph::changeLanguage, _1, params(), from, to));
2837 }
2838
2839
2840 bool Buffer::isMultiLingual() const
2841 {
2842         ParConstIterator end = par_iterator_end();
2843         for (ParConstIterator it = par_iterator_begin(); it != end; ++it)
2844                 if (it->isMultiLingual(params()))
2845                         return true;
2846
2847         return false;
2848 }
2849
2850
2851 std::set<Language const *> Buffer::getLanguages() const
2852 {
2853         std::set<Language const *> languages;
2854         getLanguages(languages);
2855         return languages;
2856 }
2857
2858
2859 void Buffer::getLanguages(std::set<Language const *> & languages) const
2860 {
2861         ParConstIterator end = par_iterator_end();
2862         // add the buffer language, even if it's not actively used
2863         languages.insert(language());
2864         // iterate over the paragraphs
2865         for (ParConstIterator it = par_iterator_begin(); it != end; ++it)
2866                 it->getLanguages(languages);
2867         // also children
2868         ListOfBuffers clist = getDescendents();
2869         ListOfBuffers::const_iterator cit = clist.begin();
2870         ListOfBuffers::const_iterator const cen = clist.end();
2871         for (; cit != cen; ++cit)
2872                 (*cit)->getLanguages(languages);
2873 }
2874
2875
2876 DocIterator Buffer::getParFromID(int const id) const
2877 {
2878         Buffer * buf = const_cast<Buffer *>(this);
2879         if (id < 0)
2880                 // This means non-existent
2881                 return doc_iterator_end(buf);
2882
2883         for (DocIterator it = doc_iterator_begin(buf); !it.atEnd(); it.forwardPar())
2884                 if (it.paragraph().id() == id)
2885                         return it;
2886
2887         return doc_iterator_end(buf);
2888 }
2889
2890
2891 bool Buffer::hasParWithID(int const id) const
2892 {
2893         return !getParFromID(id).atEnd();
2894 }
2895
2896
2897 ParIterator Buffer::par_iterator_begin()
2898 {
2899         return ParIterator(doc_iterator_begin(this));
2900 }
2901
2902
2903 ParIterator Buffer::par_iterator_end()
2904 {
2905         return ParIterator(doc_iterator_end(this));
2906 }
2907
2908
2909 ParConstIterator Buffer::par_iterator_begin() const
2910 {
2911         return ParConstIterator(doc_iterator_begin(this));
2912 }
2913
2914
2915 ParConstIterator Buffer::par_iterator_end() const
2916 {
2917         return ParConstIterator(doc_iterator_end(this));
2918 }
2919
2920
2921 Language const * Buffer::language() const
2922 {
2923         return params().language;
2924 }
2925
2926
2927 docstring const Buffer::B_(string const & l10n) const
2928 {
2929         return params().B_(l10n);
2930 }
2931
2932
2933 bool Buffer::isClean() const
2934 {
2935         return d->lyx_clean;
2936 }
2937
2938
2939 bool Buffer::isExternallyModified(CheckMethod method) const
2940 {
2941         LASSERT(d->filename.exists(), return false);
2942         // if method == timestamp, check timestamp before checksum
2943         return (method == checksum_method
2944                 || d->timestamp_ != d->filename.lastModified())
2945                 && d->checksum_ != d->filename.checksum();
2946 }
2947
2948
2949 void Buffer::saveCheckSum() const
2950 {
2951         FileName const & file = d->filename;
2952
2953         file.refresh();
2954         if (file.exists()) {
2955                 d->timestamp_ = file.lastModified();
2956                 d->checksum_ = file.checksum();
2957         } else {
2958                 // in the case of save to a new file.
2959                 d->timestamp_ = 0;
2960                 d->checksum_ = 0;
2961         }
2962 }
2963
2964
2965 void Buffer::markClean() const
2966 {
2967         if (!d->lyx_clean) {
2968                 d->lyx_clean = true;
2969                 updateTitles();
2970         }
2971         // if the .lyx file has been saved, we don't need an
2972         // autosave
2973         d->bak_clean = true;
2974         d->undo_.markDirty();
2975 }
2976
2977
2978 void Buffer::setUnnamed(bool flag)
2979 {
2980         d->unnamed = flag;
2981 }
2982
2983
2984 bool Buffer::isUnnamed() const
2985 {
2986         return d->unnamed;
2987 }
2988
2989
2990 /// \note
2991 /// Don't check unnamed, here: isInternal() is used in
2992 /// newBuffer(), where the unnamed flag has not been set by anyone
2993 /// yet. Also, for an internal buffer, there should be no need for
2994 /// retrieving fileName() nor for checking if it is unnamed or not.
2995 bool Buffer::isInternal() const
2996 {
2997         return d->internal_buffer;
2998 }
2999
3000
3001 void Buffer::setInternal(bool flag)
3002 {
3003         d->internal_buffer = flag;
3004 }
3005
3006
3007 void Buffer::markDirty()
3008 {
3009         if (d->lyx_clean) {
3010                 d->lyx_clean = false;
3011                 updateTitles();
3012         }
3013         d->bak_clean = false;
3014
3015         DepClean::iterator it = d->dep_clean.begin();
3016         DepClean::const_iterator const end = d->dep_clean.end();
3017
3018         for (; it != end; ++it)
3019                 it->second = false;
3020 }
3021
3022
3023 FileName Buffer::fileName() const
3024 {
3025         return d->filename;
3026 }
3027
3028
3029 string Buffer::absFileName() const
3030 {
3031         return d->filename.absFileName();
3032 }
3033
3034
3035 string Buffer::filePath() const
3036 {
3037         string const abs = d->filename.onlyPath().absFileName();
3038         if (abs.empty())
3039                 return abs;
3040         int last = abs.length() - 1;
3041
3042         return abs[last] == '/' ? abs : abs + '/';
3043 }
3044
3045
3046 DocFileName Buffer::getReferencedFileName(string const & fn) const
3047 {
3048         DocFileName result;
3049         if (FileName::isAbsolute(fn) || !FileName::isAbsolute(params().origin))
3050                 result.set(fn, filePath());
3051         else {
3052                 // filePath() ends with a path separator
3053                 FileName const test(filePath() + fn);
3054                 if (test.exists())
3055                         result.set(fn, filePath());
3056                 else
3057                         result.set(fn, params().origin);
3058         }
3059
3060         return result;
3061 }
3062
3063
3064 string Buffer::layoutPos() const
3065 {
3066         return d->layout_position;
3067 }
3068
3069
3070 void Buffer::setLayoutPos(string const & path)
3071 {
3072         if (path.empty()) {
3073                 d->layout_position.clear();
3074                 return;
3075         }
3076
3077         LATTEST(FileName::isAbsolute(path));
3078
3079         d->layout_position =
3080                 to_utf8(makeRelPath(from_utf8(path), from_utf8(filePath())));
3081
3082         if (d->layout_position.empty())
3083                 d->layout_position = ".";
3084 }
3085
3086
3087 bool Buffer::isReadonly() const
3088 {
3089         return d->read_only;
3090 }
3091
3092
3093 void Buffer::setParent(Buffer const * buffer)
3094 {
3095         // Avoids recursive include.
3096         d->setParent(buffer == this ? 0 : buffer);
3097         updateMacros();
3098 }
3099
3100
3101 Buffer const * Buffer::parent() const
3102 {
3103         return d->parent();
3104 }
3105
3106
3107 ListOfBuffers Buffer::allRelatives() const
3108 {
3109         ListOfBuffers lb = masterBuffer()->getDescendents();
3110         lb.push_front(const_cast<Buffer *>(masterBuffer()));
3111         return lb;
3112 }
3113
3114
3115 Buffer const * Buffer::masterBuffer() const
3116 {
3117         // FIXME Should be make sure we are not in some kind
3118         // of recursive include? A -> B -> A will crash this.
3119         Buffer const * const pbuf = d->parent();
3120         if (!pbuf)
3121                 return this;
3122
3123         return pbuf->masterBuffer();
3124 }
3125
3126
3127 bool Buffer::isChild(Buffer * child) const
3128 {
3129         return d->children_positions.find(child) != d->children_positions.end();
3130 }
3131
3132
3133 DocIterator Buffer::firstChildPosition(Buffer const * child)
3134 {
3135         Impl::BufferPositionMap::iterator it;
3136         it = d->children_positions.find(child);
3137         if (it == d->children_positions.end())
3138                 return DocIterator(this);
3139         return it->second;
3140 }
3141
3142
3143 bool Buffer::hasChildren() const
3144 {
3145         return !d->children_positions.empty();
3146 }
3147
3148
3149 void Buffer::collectChildren(ListOfBuffers & clist, bool grand_children) const
3150 {
3151         // loop over children
3152         Impl::BufferPositionMap::iterator it = d->children_positions.begin();
3153         Impl::BufferPositionMap::iterator end = d->children_positions.end();
3154         for (; it != end; ++it) {
3155                 Buffer * child = const_cast<Buffer *>(it->first);
3156                 // No duplicates
3157                 ListOfBuffers::const_iterator bit = find(clist.begin(), clist.end(), child);
3158                 if (bit != clist.end())
3159                         continue;
3160                 clist.push_back(child);
3161                 if (grand_children)
3162                         // there might be grandchildren
3163                         child->collectChildren(clist, true);
3164         }
3165 }
3166
3167
3168 ListOfBuffers Buffer::getChildren() const
3169 {
3170         ListOfBuffers v;
3171         collectChildren(v, false);
3172         // Make sure we have not included ourselves.
3173         ListOfBuffers::iterator bit = find(v.begin(), v.end(), this);
3174         if (bit != v.end()) {
3175                 LYXERR0("Recursive include detected in `" << fileName() << "'.");
3176                 v.erase(bit);
3177         }
3178         return v;
3179 }
3180
3181
3182 ListOfBuffers Buffer::getDescendents() const
3183 {
3184         ListOfBuffers v;
3185         collectChildren(v, true);
3186         // Make sure we have not included ourselves.
3187         ListOfBuffers::iterator bit = find(v.begin(), v.end(), this);
3188         if (bit != v.end()) {
3189                 LYXERR0("Recursive include detected in `" << fileName() << "'.");
3190                 v.erase(bit);
3191         }
3192         return v;
3193 }
3194
3195
3196 template<typename M>
3197 typename M::const_iterator greatest_below(M & m, typename M::key_type const & x)
3198 {
3199         if (m.empty())
3200                 return m.end();
3201
3202         typename M::const_iterator it = m.lower_bound(x);
3203         if (it == m.begin())
3204                 return m.end();
3205
3206         it--;
3207         return it;
3208 }
3209
3210
3211 MacroData const * Buffer::Impl::getBufferMacro(docstring const & name,
3212                                          DocIterator const & pos) const
3213 {
3214         LYXERR(Debug::MACROS, "Searching for " << to_ascii(name) << " at " << pos);
3215
3216         // if paragraphs have no macro context set, pos will be empty
3217         if (pos.empty())
3218                 return 0;
3219
3220         // we haven't found anything yet
3221         DocIterator bestPos = owner_->par_iterator_begin();
3222         MacroData const * bestData = 0;
3223
3224         // find macro definitions for name
3225         NamePositionScopeMacroMap::const_iterator nameIt = macros.find(name);
3226         if (nameIt != macros.end()) {
3227                 // find last definition in front of pos or at pos itself
3228                 PositionScopeMacroMap::const_iterator it
3229                         = greatest_below(nameIt->second, pos);
3230                 if (it != nameIt->second.end()) {
3231                         while (true) {
3232                                 // scope ends behind pos?
3233                                 if (pos < it->second.scope) {
3234                                         // Looks good, remember this. If there
3235                                         // is no external macro behind this,
3236                                         // we found the right one already.
3237                                         bestPos = it->first;
3238                                         bestData = &it->second.macro;
3239                                         break;
3240                                 }
3241
3242                                 // try previous macro if there is one
3243                                 if (it == nameIt->second.begin())
3244                                         break;
3245                                 --it;
3246                         }
3247                 }
3248         }
3249
3250         // find macros in included files
3251         PositionScopeBufferMap::const_iterator it
3252                 = greatest_below(position_to_children, pos);
3253         if (it == position_to_children.end())
3254                 // no children before
3255                 return bestData;
3256
3257         while (true) {
3258                 // do we know something better (i.e. later) already?
3259                 if (it->first < bestPos )
3260                         break;
3261
3262                 // scope ends behind pos?
3263                 if (pos < it->second.scope
3264                         && (cloned_buffer_ ||
3265                             theBufferList().isLoaded(it->second.buffer))) {
3266                         // look for macro in external file
3267                         macro_lock = true;
3268                         MacroData const * data
3269                                 = it->second.buffer->getMacro(name, false);
3270                         macro_lock = false;
3271                         if (data) {
3272                                 bestPos = it->first;
3273                                 bestData = data;
3274                                 break;
3275                         }
3276                 }
3277
3278                 // try previous file if there is one
3279                 if (it == position_to_children.begin())
3280                         break;
3281                 --it;
3282         }
3283
3284         // return the best macro we have found
3285         return bestData;
3286 }
3287
3288
3289 MacroData const * Buffer::getMacro(docstring const & name,
3290         DocIterator const & pos, bool global) const
3291 {
3292         if (d->macro_lock)
3293                 return 0;
3294
3295         // query buffer macros
3296         MacroData const * data = d->getBufferMacro(name, pos);
3297         if (data != 0)
3298                 return data;
3299
3300         // If there is a master buffer, query that
3301         Buffer const * const pbuf = d->parent();
3302         if (pbuf) {
3303                 d->macro_lock = true;
3304                 MacroData const * macro = pbuf->getMacro(
3305                         name, *this, false);
3306                 d->macro_lock = false;
3307                 if (macro)
3308                         return macro;
3309         }
3310
3311         if (global) {
3312                 data = MacroTable::globalMacros().get(name);
3313                 if (data != 0)
3314                         return data;
3315         }
3316
3317         return 0;
3318 }
3319
3320
3321 MacroData const * Buffer::getMacro(docstring const & name, bool global) const
3322 {
3323         // set scope end behind the last paragraph
3324         DocIterator scope = par_iterator_begin();
3325         scope.pit() = scope.lastpit() + 1;
3326
3327         return getMacro(name, scope, global);
3328 }
3329
3330
3331 MacroData const * Buffer::getMacro(docstring const & name,
3332         Buffer const & child, bool global) const
3333 {
3334         // look where the child buffer is included first
3335         Impl::BufferPositionMap::iterator it = d->children_positions.find(&child);
3336         if (it == d->children_positions.end())
3337                 return 0;
3338
3339         // check for macros at the inclusion position
3340         return getMacro(name, it->second, global);
3341 }
3342
3343
3344 void Buffer::Impl::updateMacros(DocIterator & it, DocIterator & scope)
3345 {
3346         pit_type const lastpit = it.lastpit();
3347
3348         // look for macros in each paragraph
3349         while (it.pit() <= lastpit) {
3350                 Paragraph & par = it.paragraph();
3351
3352                 // iterate over the insets of the current paragraph
3353                 InsetList const & insets = par.insetList();
3354                 InsetList::const_iterator iit = insets.begin();
3355                 InsetList::const_iterator end = insets.end();
3356                 for (; iit != end; ++iit) {
3357                         it.pos() = iit->pos;
3358
3359                         // is it a nested text inset?
3360                         if (iit->inset->asInsetText()) {
3361                                 // Inset needs its own scope?
3362                                 InsetText const * itext = iit->inset->asInsetText();
3363                                 bool newScope = itext->isMacroScope();
3364
3365                                 // scope which ends just behind the inset
3366                                 DocIterator insetScope = it;
3367                                 ++insetScope.pos();
3368
3369                                 // collect macros in inset
3370                                 it.push_back(CursorSlice(*iit->inset));
3371                                 updateMacros(it, newScope ? insetScope : scope);
3372                                 it.pop_back();
3373                                 continue;
3374                         }
3375
3376                         if (iit->inset->asInsetTabular()) {
3377                                 CursorSlice slice(*iit->inset);
3378                                 size_t const numcells = slice.nargs();
3379                                 for (; slice.idx() < numcells; slice.forwardIdx()) {
3380                                         it.push_back(slice);
3381                                         updateMacros(it, scope);
3382                                         it.pop_back();
3383                                 }
3384                                 continue;
3385                         }
3386
3387                         // is it an external file?
3388                         if (iit->inset->lyxCode() == INCLUDE_CODE) {
3389                                 // get buffer of external file
3390                                 InsetInclude const & inset =
3391                                         static_cast<InsetInclude const &>(*iit->inset);
3392                                 macro_lock = true;
3393                                 Buffer * child = inset.getChildBuffer();
3394                                 macro_lock = false;
3395                                 if (!child)
3396                                         continue;
3397
3398                                 // register its position, but only when it is
3399                                 // included first in the buffer
3400                                 if (children_positions.find(child) ==
3401                                         children_positions.end())
3402                                                 children_positions[child] = it;
3403
3404                                 // register child with its scope
3405                                 position_to_children[it] = Impl::ScopeBuffer(scope, child);
3406                                 continue;
3407                         }
3408
3409                         InsetMath * im = iit->inset->asInsetMath();
3410                         if (doing_export && im)  {
3411                                 InsetMathHull * hull = im->asHullInset();
3412                                 if (hull)
3413                                         hull->recordLocation(it);
3414                         }
3415
3416                         if (iit->inset->lyxCode() != MATHMACRO_CODE)
3417                                 continue;
3418
3419                         // get macro data
3420                         MathMacroTemplate & macroTemplate =
3421                                 *iit->inset->asInsetMath()->asMacroTemplate();
3422                         MacroContext mc(owner_, it);
3423                         macroTemplate.updateToContext(mc);
3424
3425                         // valid?
3426                         bool valid = macroTemplate.validMacro();
3427                         // FIXME: Should be fixNameAndCheckIfValid() in fact,
3428                         // then the BufferView's cursor will be invalid in
3429                         // some cases which leads to crashes.
3430                         if (!valid)
3431                                 continue;
3432
3433                         // register macro
3434                         // FIXME (Abdel), I don't understand why we pass 'it' here
3435                         // instead of 'macroTemplate' defined above... is this correct?
3436                         macros[macroTemplate.name()][it] =
3437                                 Impl::ScopeMacro(scope, MacroData(const_cast<Buffer *>(owner_), it));
3438                 }
3439
3440                 // next paragraph
3441                 it.pit()++;
3442                 it.pos() = 0;
3443         }
3444 }
3445
3446
3447 void Buffer::updateMacros() const
3448 {
3449         if (d->macro_lock)
3450                 return;
3451
3452         LYXERR(Debug::MACROS, "updateMacro of " << d->filename.onlyFileName());
3453
3454         // start with empty table
3455         d->macros.clear();
3456         d->children_positions.clear();
3457         d->position_to_children.clear();
3458
3459         // Iterate over buffer, starting with first paragraph
3460         // The scope must be bigger than any lookup DocIterator
3461         // later. For the global lookup, lastpit+1 is used, hence
3462         // we use lastpit+2 here.
3463         DocIterator it = par_iterator_begin();
3464         DocIterator outerScope = it;
3465         outerScope.pit() = outerScope.lastpit() + 2;
3466         d->updateMacros(it, outerScope);
3467 }
3468
3469
3470 void Buffer::getUsedBranches(std::list<docstring> & result, bool const from_master) const
3471 {
3472         InsetIterator it  = inset_iterator_begin(inset());
3473         InsetIterator const end = inset_iterator_end(inset());
3474         for (; it != end; ++it) {
3475                 if (it->lyxCode() == BRANCH_CODE) {
3476                         InsetBranch & br = static_cast<InsetBranch &>(*it);
3477                         docstring const name = br.branch();
3478                         if (!from_master && !params().branchlist().find(name))
3479                                 result.push_back(name);
3480                         else if (from_master && !masterBuffer()->params().branchlist().find(name))
3481                                 result.push_back(name);
3482                         continue;
3483                 }
3484                 if (it->lyxCode() == INCLUDE_CODE) {
3485                         // get buffer of external file
3486                         InsetInclude const & ins =
3487                                 static_cast<InsetInclude const &>(*it);
3488                         Buffer * child = ins.getChildBuffer();
3489                         if (!child)
3490                                 continue;
3491                         child->getUsedBranches(result, true);
3492                 }
3493         }
3494         // remove duplicates
3495         result.unique();
3496 }
3497
3498
3499 void Buffer::updateMacroInstances(UpdateType utype) const
3500 {
3501         LYXERR(Debug::MACROS, "updateMacroInstances for "
3502                 << d->filename.onlyFileName());
3503         DocIterator it = doc_iterator_begin(this);
3504         it.forwardInset();
3505         DocIterator const end = doc_iterator_end(this);
3506         for (; it != end; it.forwardInset()) {
3507                 // look for MathData cells in InsetMathNest insets
3508                 InsetMath * minset = it.nextInset()->asInsetMath();
3509                 if (!minset)
3510                         continue;
3511
3512                 // update macro in all cells of the InsetMathNest
3513                 DocIterator::idx_type n = minset->nargs();
3514                 MacroContext mc = MacroContext(this, it);
3515                 for (DocIterator::idx_type i = 0; i < n; ++i) {
3516                         MathData & data = minset->cell(i);
3517                         data.updateMacros(0, mc, utype);
3518                 }
3519         }
3520 }
3521
3522
3523 void Buffer::listMacroNames(MacroNameSet & macros) const
3524 {
3525         if (d->macro_lock)
3526                 return;
3527
3528         d->macro_lock = true;
3529
3530         // loop over macro names
3531         Impl::NamePositionScopeMacroMap::iterator nameIt = d->macros.begin();
3532         Impl::NamePositionScopeMacroMap::iterator nameEnd = d->macros.end();
3533         for (; nameIt != nameEnd; ++nameIt)
3534                 macros.insert(nameIt->first);
3535
3536         // loop over children
3537         Impl::BufferPositionMap::iterator it = d->children_positions.begin();
3538         Impl::BufferPositionMap::iterator end = d->children_positions.end();
3539         for (; it != end; ++it)
3540                 it->first->listMacroNames(macros);
3541
3542         // call parent
3543         Buffer const * const pbuf = d->parent();
3544         if (pbuf)
3545                 pbuf->listMacroNames(macros);
3546
3547         d->macro_lock = false;
3548 }
3549
3550
3551 void Buffer::listParentMacros(MacroSet & macros, LaTeXFeatures & features) const
3552 {
3553         Buffer const * const pbuf = d->parent();
3554         if (!pbuf)
3555                 return;
3556
3557         MacroNameSet names;
3558         pbuf->listMacroNames(names);
3559
3560         // resolve macros
3561         MacroNameSet::iterator it = names.begin();
3562         MacroNameSet::iterator end = names.end();
3563         for (; it != end; ++it) {
3564                 // defined?
3565                 MacroData const * data =
3566                 pbuf->getMacro(*it, *this, false);
3567                 if (data) {
3568                         macros.insert(data);
3569
3570                         // we cannot access the original MathMacroTemplate anymore
3571                         // here to calls validate method. So we do its work here manually.
3572                         // FIXME: somehow make the template accessible here.
3573                         if (data->optionals() > 0)
3574                                 features.require("xargs");
3575                 }
3576         }
3577 }
3578
3579
3580 Buffer::References & Buffer::getReferenceCache(docstring const & label)
3581 {
3582         if (d->parent())
3583                 return const_cast<Buffer *>(masterBuffer())->getReferenceCache(label);
3584
3585         RefCache::iterator it = d->ref_cache_.find(label);
3586         if (it != d->ref_cache_.end())
3587                 return it->second.second;
3588
3589         static InsetLabel const * dummy_il = 0;
3590         static References const dummy_refs = References();
3591         it = d->ref_cache_.insert(
3592                 make_pair(label, make_pair(dummy_il, dummy_refs))).first;
3593         return it->second.second;
3594 }
3595
3596
3597 Buffer::References const & Buffer::references(docstring const & label) const
3598 {
3599         return const_cast<Buffer *>(this)->getReferenceCache(label);
3600 }
3601
3602
3603 void Buffer::addReference(docstring const & label, Inset * inset, ParIterator it)
3604 {
3605         References & refs = getReferenceCache(label);
3606         refs.push_back(make_pair(inset, it));
3607 }
3608
3609
3610 void Buffer::setInsetLabel(docstring const & label, InsetLabel const * il)
3611 {
3612         masterBuffer()->d->ref_cache_[label].first = il;
3613 }
3614
3615
3616 InsetLabel const * Buffer::insetLabel(docstring const & label) const
3617 {
3618         return masterBuffer()->d->ref_cache_[label].first;
3619 }
3620
3621
3622 void Buffer::clearReferenceCache() const
3623 {
3624         if (!d->parent())
3625                 d->ref_cache_.clear();
3626 }
3627
3628
3629 void Buffer::changeRefsIfUnique(docstring const & from, docstring const & to)
3630 {
3631         //FIXME: This does not work for child documents yet.
3632         reloadBibInfoCache();
3633
3634         // Check if the label 'from' appears more than once
3635         BiblioInfo const & keys = masterBibInfo();
3636         BiblioInfo::const_iterator bit  = keys.begin();
3637         BiblioInfo::const_iterator bend = keys.end();
3638         vector<docstring> labels;
3639
3640         for (; bit != bend; ++bit)
3641                 // FIXME UNICODE
3642                 labels.push_back(bit->first);
3643
3644         if (count(labels.begin(), labels.end(), from) > 1)
3645                 return;
3646
3647         string const paramName = "key";
3648         for (InsetIterator it = inset_iterator_begin(inset()); it; ++it) {
3649                 if (it->lyxCode() != CITE_CODE)
3650                         continue;
3651                 InsetCommand * inset = it->asInsetCommand();
3652                 docstring const oldValue = inset->getParam(paramName);
3653                 if (oldValue == from)
3654                         inset->setParam(paramName, to);
3655         }
3656 }
3657
3658 // returns NULL if id-to-row conversion is unsupported
3659 unique_ptr<TexRow> Buffer::getSourceCode(odocstream & os, string const & format,
3660                                          pit_type par_begin, pit_type par_end,
3661                                          OutputWhat output, bool master) const
3662 {
3663         unique_ptr<TexRow> texrow;
3664         OutputParams runparams(&params().encoding());
3665         runparams.nice = true;
3666         runparams.flavor = params().getOutputFlavor(format);
3667         runparams.linelen = lyxrc.plaintext_linelen;
3668         // No side effect of file copying and image conversion
3669         runparams.dryrun = true;
3670
3671         if (output == CurrentParagraph) {
3672                 runparams.par_begin = par_begin;
3673                 runparams.par_end = par_end;
3674                 if (par_begin + 1 == par_end) {
3675                         os << "% "
3676                            << bformat(_("Preview source code for paragraph %1$d"), par_begin)
3677                            << "\n\n";
3678                 } else {
3679                         os << "% "
3680                            << bformat(_("Preview source code from paragraph %1$s to %2$s"),
3681                                         convert<docstring>(par_begin),
3682                                         convert<docstring>(par_end - 1))
3683                            << "\n\n";
3684                 }
3685                 // output paragraphs
3686                 if (runparams.flavor == OutputParams::LYX) {
3687                         Paragraph const & par = text().paragraphs()[par_begin];
3688                         ostringstream ods;
3689                         depth_type dt = par.getDepth();
3690                         par.write(ods, params(), dt);
3691                         os << from_utf8(ods.str());
3692                 } else if (runparams.flavor == OutputParams::HTML) {
3693                         XHTMLStream xs(os);
3694                         setMathFlavor(runparams);
3695                         xhtmlParagraphs(text(), *this, xs, runparams);
3696                 } else if (runparams.flavor == OutputParams::TEXT) {
3697                         bool dummy = false;
3698                         // FIXME Handles only one paragraph, unlike the others.
3699                         // Probably should have some routine with a signature like them.
3700                         writePlaintextParagraph(*this,
3701                                 text().paragraphs()[par_begin], os, runparams, dummy);
3702                 } else if (params().isDocBook()) {
3703                         docbookParagraphs(text(), *this, os, runparams);
3704                 } else {
3705                         // If we are previewing a paragraph, even if this is the
3706                         // child of some other buffer, let's cut the link here,
3707                         // so that no concurring settings from the master
3708                         // (e.g. branch state) interfere (see #8101).
3709                         if (!master)
3710                                 d->ignore_parent = true;
3711                         // We need to validate the Buffer params' features here
3712                         // in order to know if we should output polyglossia
3713                         // macros (instead of babel macros)
3714                         LaTeXFeatures features(*this, params(), runparams);
3715                         params().validate(features);
3716                         runparams.use_polyglossia = features.usePolyglossia();
3717                         // latex or literate
3718                         otexstream ots(os);
3719                         // output above
3720                         ots.texrow().newlines(2);
3721                         // the real stuff
3722                         latexParagraphs(*this, text(), ots, runparams);
3723                         texrow = ots.releaseTexRow();
3724
3725                         // Restore the parenthood
3726                         if (!master)
3727                                 d->ignore_parent = false;
3728                 }
3729         } else {
3730                 os << "% ";
3731                 if (output == FullSource)
3732                         os << _("Preview source code");
3733                 else if (output == OnlyPreamble)
3734                         os << _("Preview preamble");
3735                 else if (output == OnlyBody)
3736                         os << _("Preview body");
3737                 os << "\n\n";
3738                 if (runparams.flavor == OutputParams::LYX) {
3739                         ostringstream ods;
3740                         if (output == FullSource)
3741                                 write(ods);
3742                         else if (output == OnlyPreamble)
3743                                 params().writeFile(ods, this);
3744                         else if (output == OnlyBody)
3745                                 text().write(ods);
3746                         os << from_utf8(ods.str());
3747                 } else if (runparams.flavor == OutputParams::HTML) {
3748                         writeLyXHTMLSource(os, runparams, output);
3749                 } else if (runparams.flavor == OutputParams::TEXT) {
3750                         if (output == OnlyPreamble) {
3751                                 os << "% "<< _("Plain text does not have a preamble.");
3752                         } else
3753                                 writePlaintextFile(*this, os, runparams);
3754                 } else if (params().isDocBook()) {
3755                                 writeDocBookSource(os, absFileName(), runparams, output);
3756                 } else {
3757                         // latex or literate
3758                         otexstream ots(os);
3759                         // output above
3760                         ots.texrow().newlines(2);
3761                         if (master)
3762                                 runparams.is_child = true;
3763                         writeLaTeXSource(ots, string(), runparams, output);
3764                         texrow = ots.releaseTexRow();
3765                 }
3766         }
3767         return texrow;
3768 }
3769
3770
3771 ErrorList & Buffer::errorList(string const & type) const
3772 {
3773         return d->errorLists[type];
3774 }
3775
3776
3777 void Buffer::updateTocItem(std::string const & type,
3778         DocIterator const & dit) const
3779 {
3780         if (d->gui_)
3781                 d->gui_->updateTocItem(type, dit);
3782 }
3783
3784
3785 void Buffer::structureChanged() const
3786 {
3787         if (d->gui_)
3788                 d->gui_->structureChanged();
3789 }
3790
3791
3792 void Buffer::errors(string const & err, bool from_master) const
3793 {
3794         if (d->gui_)
3795                 d->gui_->errors(err, from_master);
3796 }
3797
3798
3799 void Buffer::message(docstring const & msg) const
3800 {
3801         if (d->gui_)
3802                 d->gui_->message(msg);
3803 }
3804
3805
3806 void Buffer::setBusy(bool on) const
3807 {
3808         if (d->gui_)
3809                 d->gui_->setBusy(on);
3810 }
3811
3812
3813 void Buffer::updateTitles() const
3814 {
3815         if (d->wa_)
3816                 d->wa_->updateTitles();
3817 }
3818
3819
3820 void Buffer::resetAutosaveTimers() const
3821 {
3822         if (d->gui_)
3823                 d->gui_->resetAutosaveTimers();
3824 }
3825
3826
3827 bool Buffer::hasGuiDelegate() const
3828 {
3829         return d->gui_;
3830 }
3831
3832
3833 void Buffer::setGuiDelegate(frontend::GuiBufferDelegate * gui)
3834 {
3835         d->gui_ = gui;
3836 }
3837
3838
3839
3840 namespace {
3841
3842 class AutoSaveBuffer : public ForkedProcess {
3843 public:
3844         ///
3845         AutoSaveBuffer(Buffer const & buffer, FileName const & fname)
3846                 : buffer_(buffer), fname_(fname) {}
3847         ///
3848         virtual shared_ptr<ForkedProcess> clone() const
3849         {
3850                 return make_shared<AutoSaveBuffer>(*this);
3851         }
3852         ///
3853         int start()
3854         {
3855                 command_ = to_utf8(bformat(_("Auto-saving %1$s"),
3856                                                  from_utf8(fname_.absFileName())));
3857                 return run(DontWait);
3858         }
3859 private:
3860         ///
3861         virtual int generateChild();
3862         ///
3863         Buffer const & buffer_;
3864         FileName fname_;
3865 };
3866
3867
3868 int AutoSaveBuffer::generateChild()
3869 {
3870 #if defined(__APPLE__)
3871         /* FIXME fork() is not usable for autosave on Mac OS X 10.6 (snow leopard)
3872          *   We should use something else like threads.
3873          *
3874          * Since I do not know how to determine at run time what is the OS X
3875          * version, I just disable forking altogether for now (JMarc)
3876          */
3877         pid_t const pid = -1;
3878 #else
3879         // tmp_ret will be located (usually) in /tmp
3880         // will that be a problem?
3881         // Note that this calls ForkedCalls::fork(), so it's
3882         // ok cross-platform.
3883         pid_t const pid = fork();
3884         // If you want to debug the autosave
3885         // you should set pid to -1, and comment out the fork.
3886         if (pid != 0 && pid != -1)
3887                 return pid;
3888 #endif
3889
3890         // pid = -1 signifies that lyx was unable
3891         // to fork. But we will do the save
3892         // anyway.
3893         bool failed = false;
3894         TempFile tempfile("lyxautoXXXXXX.lyx");
3895         tempfile.setAutoRemove(false);
3896         FileName const tmp_ret = tempfile.name();
3897         if (!tmp_ret.empty()) {
3898                 if (!buffer_.writeFile(tmp_ret))
3899                         failed = true;
3900                 else if (!tmp_ret.moveTo(fname_))
3901                         failed = true;
3902         } else
3903                 failed = true;
3904
3905         if (failed) {
3906                 // failed to write/rename tmp_ret so try writing direct
3907                 if (!buffer_.writeFile(fname_)) {
3908                         // It is dangerous to do this in the child,
3909                         // but safe in the parent, so...
3910                         if (pid == -1) // emit message signal.
3911                                 buffer_.message(_("Autosave failed!"));
3912                 }
3913         }
3914
3915         if (pid == 0) // we are the child so...
3916                 _exit(0);
3917
3918         return pid;
3919 }
3920
3921 } // namespace anon
3922
3923
3924 FileName Buffer::getEmergencyFileName() const
3925 {
3926         return FileName(d->filename.absFileName() + ".emergency");
3927 }
3928
3929
3930 FileName Buffer::getAutosaveFileName() const
3931 {
3932         // if the document is unnamed try to save in the backup dir, else
3933         // in the default document path, and as a last try in the filePath,
3934         // which will most often be the temporary directory
3935         string fpath;
3936         if (isUnnamed())
3937                 fpath = lyxrc.backupdir_path.empty() ? lyxrc.document_path
3938                         : lyxrc.backupdir_path;
3939         if (!isUnnamed() || fpath.empty() || !FileName(fpath).exists())
3940                 fpath = filePath();
3941
3942         string const fname = "#" + d->filename.onlyFileName() + "#";
3943
3944         return makeAbsPath(fname, fpath);
3945 }
3946
3947
3948 void Buffer::removeAutosaveFile() const
3949 {
3950         FileName const f = getAutosaveFileName();
3951         if (f.exists())
3952                 f.removeFile();
3953 }
3954
3955
3956 void Buffer::moveAutosaveFile(support::FileName const & oldauto) const
3957 {
3958         FileName const newauto = getAutosaveFileName();
3959         oldauto.refresh();
3960         if (newauto != oldauto && oldauto.exists())
3961                 if (!oldauto.moveTo(newauto))
3962                         LYXERR0("Unable to move autosave file `" << oldauto << "'!");
3963 }
3964
3965
3966 bool Buffer::autoSave() const
3967 {
3968         Buffer const * buf = d->cloned_buffer_ ? d->cloned_buffer_ : this;
3969         if (buf->d->bak_clean || isReadonly())
3970                 return true;
3971
3972         message(_("Autosaving current document..."));
3973         buf->d->bak_clean = true;
3974
3975         FileName const fname = getAutosaveFileName();
3976         LASSERT(d->cloned_buffer_, return false);
3977
3978         // If this buffer is cloned, we assume that
3979         // we are running in a separate thread already.
3980         TempFile tempfile("lyxautoXXXXXX.lyx");
3981         tempfile.setAutoRemove(false);
3982         FileName const tmp_ret = tempfile.name();
3983         if (!tmp_ret.empty()) {
3984                 writeFile(tmp_ret);
3985                 // assume successful write of tmp_ret
3986                 if (tmp_ret.moveTo(fname))
3987                         return true;
3988         }
3989         // failed to write/rename tmp_ret so try writing direct
3990         return writeFile(fname);
3991 }
3992
3993
3994 void Buffer::setExportStatus(bool e) const
3995 {
3996         d->doing_export = e;
3997         ListOfBuffers clist = getDescendents();
3998         ListOfBuffers::const_iterator cit = clist.begin();
3999         ListOfBuffers::const_iterator const cen = clist.end();
4000         for (; cit != cen; ++cit)
4001                 (*cit)->d->doing_export = e;
4002 }
4003
4004
4005 bool Buffer::isExporting() const
4006 {
4007         return d->doing_export;
4008 }
4009
4010
4011 Buffer::ExportStatus Buffer::doExport(string const & target, bool put_in_tempdir)
4012         const
4013 {
4014         string result_file;
4015         return doExport(target, put_in_tempdir, result_file);
4016 }
4017
4018 Buffer::ExportStatus Buffer::doExport(string const & target, bool put_in_tempdir,
4019         string & result_file) const
4020 {
4021         bool const update_unincluded =
4022                         params().maintain_unincluded_children
4023                         && !params().getIncludedChildren().empty();
4024
4025         // (1) export with all included children (omit \includeonly)
4026         if (update_unincluded) {
4027                 ExportStatus const status =
4028                         doExport(target, put_in_tempdir, true, result_file);
4029                 if (status != ExportSuccess)
4030                         return status;
4031         }
4032         // (2) export with included children only
4033         return doExport(target, put_in_tempdir, false, result_file);
4034 }
4035
4036
4037 void Buffer::setMathFlavor(OutputParams & op) const
4038 {
4039         switch (params().html_math_output) {
4040         case BufferParams::MathML:
4041                 op.math_flavor = OutputParams::MathAsMathML;
4042                 break;
4043         case BufferParams::HTML:
4044                 op.math_flavor = OutputParams::MathAsHTML;
4045                 break;
4046         case BufferParams::Images:
4047                 op.math_flavor = OutputParams::MathAsImages;
4048                 break;
4049         case BufferParams::LaTeX:
4050                 op.math_flavor = OutputParams::MathAsLaTeX;
4051                 break;
4052         }
4053 }
4054
4055
4056 Buffer::ExportStatus Buffer::doExport(string const & target, bool put_in_tempdir,
4057         bool includeall, string & result_file) const
4058 {
4059         LYXERR(Debug::FILES, "target=" << target);
4060         OutputParams runparams(&params().encoding());
4061         string format = target;
4062         string dest_filename;
4063         size_t pos = target.find(' ');
4064         if (pos != string::npos) {
4065                 dest_filename = target.substr(pos + 1, target.length() - pos - 1);
4066                 format = target.substr(0, pos);
4067                 runparams.export_folder = FileName(dest_filename).onlyPath().realPath();
4068                 FileName(dest_filename).onlyPath().createPath();
4069                 LYXERR(Debug::FILES, "format=" << format << ", dest_filename=" << dest_filename << ", export_folder=" << runparams.export_folder);
4070         }
4071         MarkAsExporting exporting(this);
4072         string backend_format;
4073         runparams.flavor = OutputParams::LATEX;
4074         runparams.linelen = lyxrc.plaintext_linelen;
4075         runparams.includeall = includeall;
4076         vector<string> backs = params().backends();
4077         Converters converters = theConverters();
4078         bool need_nice_file = false;
4079         if (find(backs.begin(), backs.end(), format) == backs.end()) {
4080                 // Get shortest path to format
4081                 converters.buildGraph();
4082                 Graph::EdgePath path;
4083                 for (vector<string>::const_iterator it = backs.begin();
4084                      it != backs.end(); ++it) {
4085                         Graph::EdgePath p = converters.getPath(*it, format);
4086                         if (!p.empty() && (path.empty() || p.size() < path.size())) {
4087                                 backend_format = *it;
4088                                 path = p;
4089                         }
4090                 }
4091                 if (path.empty()) {
4092                         if (!put_in_tempdir) {
4093                                 // Only show this alert if this is an export to a non-temporary
4094                                 // file (not for previewing).
4095                                 Alert::error(_("Couldn't export file"), bformat(
4096                                         _("No information for exporting the format %1$s."),
4097                                         formats.prettyName(format)));
4098                         }
4099                         return ExportNoPathToFormat;
4100                 }
4101                 runparams.flavor = converters.getFlavor(path, this);
4102                 Graph::EdgePath::const_iterator it = path.begin();
4103                 Graph::EdgePath::const_iterator en = path.end();
4104                 for (; it != en; ++it)
4105                         if (theConverters().get(*it).nice()) {
4106                                 need_nice_file = true;
4107                                 break;
4108                         }
4109
4110         } else {
4111                 backend_format = format;
4112                 LYXERR(Debug::FILES, "backend_format=" << backend_format);
4113                 // FIXME: Don't hardcode format names here, but use a flag
4114                 if (backend_format == "pdflatex")
4115                         runparams.flavor = OutputParams::PDFLATEX;
4116                 else if (backend_format == "luatex")
4117                         runparams.flavor = OutputParams::LUATEX;
4118                 else if (backend_format == "dviluatex")
4119                         runparams.flavor = OutputParams::DVILUATEX;
4120                 else if (backend_format == "xetex")
4121                         runparams.flavor = OutputParams::XETEX;
4122         }
4123
4124         string filename = latexName(false);
4125         filename = addName(temppath(), filename);
4126         filename = changeExtension(filename,
4127                                    formats.extension(backend_format));
4128         LYXERR(Debug::FILES, "filename=" << filename);
4129
4130         // Plain text backend
4131         if (backend_format == "text") {
4132                 runparams.flavor = OutputParams::TEXT;
4133                 writePlaintextFile(*this, FileName(filename), runparams);
4134         }
4135         // HTML backend
4136         else if (backend_format == "xhtml") {
4137                 runparams.flavor = OutputParams::HTML;
4138                 setMathFlavor(runparams);
4139                 makeLyXHTMLFile(FileName(filename), runparams);
4140         } else if (backend_format == "lyx")
4141                 writeFile(FileName(filename));
4142         // Docbook backend
4143         else if (params().isDocBook()) {
4144                 runparams.nice = !put_in_tempdir;
4145                 makeDocBookFile(FileName(filename), runparams);
4146         }
4147         // LaTeX backend
4148         else if (backend_format == format || need_nice_file) {
4149                 runparams.nice = true;
4150                 bool const success = makeLaTeXFile(FileName(filename), string(), runparams);
4151                 if (d->cloned_buffer_)
4152                         d->cloned_buffer_->d->errorLists["Export"] = d->errorLists["Export"];
4153                 if (!success)
4154                         return ExportError;
4155         } else if (!lyxrc.tex_allows_spaces
4156                    && contains(filePath(), ' ')) {
4157                 Alert::error(_("File name error"),
4158                            _("The directory path to the document cannot contain spaces."));
4159                 return ExportTexPathHasSpaces;
4160         } else {
4161                 runparams.nice = false;
4162                 bool const success = makeLaTeXFile(
4163                         FileName(filename), filePath(), runparams);
4164                 if (d->cloned_buffer_)
4165                         d->cloned_buffer_->d->errorLists["Export"] = d->errorLists["Export"];
4166                 if (!success)
4167                         return ExportError;
4168         }
4169
4170         string const error_type = (format == "program")
4171                 ? "Build" : params().bufferFormat();
4172         ErrorList & error_list = d->errorLists[error_type];
4173         string const ext = formats.extension(format);
4174         FileName const tmp_result_file(changeExtension(filename, ext));
4175         bool const success = converters.convert(this, FileName(filename),
4176                 tmp_result_file, FileName(absFileName()), backend_format, format,
4177                 error_list);
4178
4179         // Emit the signal to show the error list or copy it back to the
4180         // cloned Buffer so that it can be emitted afterwards.
4181         if (format != backend_format) {
4182                 if (runparams.silent)
4183                         error_list.clear();
4184                 else if (d->cloned_buffer_)
4185                         d->cloned_buffer_->d->errorLists[error_type] =
4186                                 d->errorLists[error_type];
4187                 else
4188                         errors(error_type);
4189                 // also to the children, in case of master-buffer-view
4190                 ListOfBuffers clist = getDescendents();
4191                 ListOfBuffers::const_iterator cit = clist.begin();
4192                 ListOfBuffers::const_iterator const cen = clist.end();
4193                 for (; cit != cen; ++cit) {
4194                         if (runparams.silent)
4195                                 (*cit)->d->errorLists[error_type].clear();
4196                         else if (d->cloned_buffer_) {
4197                                 // Enable reverse search by copying back the
4198                                 // texrow object to the cloned buffer.
4199                                 // FIXME: this is not thread safe.
4200                                 (*cit)->d->cloned_buffer_->d->texrow = (*cit)->d->texrow;
4201                                 (*cit)->d->cloned_buffer_->d->errorLists[error_type] =
4202                                         (*cit)->d->errorLists[error_type];
4203                         } else
4204                                 (*cit)->errors(error_type, true);
4205                 }
4206         }
4207
4208         if (d->cloned_buffer_) {
4209                 // Enable reverse dvi or pdf to work by copying back the texrow
4210                 // object to the cloned buffer.
4211                 // FIXME: There is a possibility of concurrent access to texrow
4212                 // here from the main GUI thread that should be securized.
4213                 d->cloned_buffer_->d->texrow = d->texrow;
4214                 string const error_type = params().bufferFormat();
4215                 d->cloned_buffer_->d->errorLists[error_type] = d->errorLists[error_type];
4216         }
4217
4218
4219         if (put_in_tempdir) {
4220                 result_file = tmp_result_file.absFileName();
4221                 return success ? ExportSuccess : ExportConverterError;
4222         }
4223
4224         if (dest_filename.empty())
4225                 result_file = changeExtension(d->exportFileName().absFileName(), ext);
4226         else
4227                 result_file = dest_filename;
4228         // We need to copy referenced files (e. g. included graphics
4229         // if format == "dvi") to the result dir.
4230         vector<ExportedFile> const files =
4231                 runparams.exportdata->externalFiles(format);
4232         string const dest = runparams.export_folder.empty() ?
4233                 onlyPath(result_file) : runparams.export_folder;
4234         bool use_force = use_gui ? lyxrc.export_overwrite == ALL_FILES
4235                                  : force_overwrite == ALL_FILES;
4236         CopyStatus status = use_force ? FORCE : SUCCESS;
4237
4238         vector<ExportedFile>::const_iterator it = files.begin();
4239         vector<ExportedFile>::const_iterator const en = files.end();
4240         for (; it != en && status != CANCEL; ++it) {
4241                 string const fmt = formats.getFormatFromFile(it->sourceName);
4242                 string fixedName = it->exportName;
4243                 if (!runparams.export_folder.empty()) {
4244                         // Relative pathnames starting with ../ will be sanitized
4245                         // if exporting to a different folder
4246                         while (fixedName.substr(0, 3) == "../")
4247                                 fixedName = fixedName.substr(3, fixedName.length() - 3);
4248                 }
4249                 FileName fixedFileName = makeAbsPath(fixedName, dest);
4250                 fixedFileName.onlyPath().createPath();
4251                 status = copyFile(fmt, it->sourceName,
4252                         fixedFileName,
4253                         it->exportName, status == FORCE,
4254                         runparams.export_folder.empty());
4255         }
4256
4257         if (status == CANCEL) {
4258                 message(_("Document export cancelled."));
4259                 return ExportCancel;
4260         }
4261
4262         if (tmp_result_file.exists()) {
4263                 // Finally copy the main file
4264                 use_force = use_gui ? lyxrc.export_overwrite != NO_FILES
4265                                     : force_overwrite != NO_FILES;
4266                 if (status == SUCCESS && use_force)
4267                         status = FORCE;
4268                 status = copyFile(format, tmp_result_file,
4269                         FileName(result_file), result_file,
4270                         status == FORCE);
4271                 if (status == CANCEL) {
4272                         message(_("Document export cancelled."));
4273                         return ExportCancel;
4274                 } else {
4275                         message(bformat(_("Document exported as %1$s "
4276                                 "to file `%2$s'"),
4277                                 formats.prettyName(format),
4278                                 makeDisplayPath(result_file)));
4279                 }
4280         } else {
4281                 // This must be a dummy converter like fax (bug 1888)
4282                 message(bformat(_("Document exported as %1$s"),
4283                         formats.prettyName(format)));
4284         }
4285
4286         return success ? ExportSuccess : ExportConverterError;
4287 }
4288
4289
4290 Buffer::ExportStatus Buffer::preview(string const & format) const
4291 {
4292         bool const update_unincluded =
4293                         params().maintain_unincluded_children
4294                         && !params().getIncludedChildren().empty();
4295         return preview(format, update_unincluded);
4296 }
4297
4298
4299 Buffer::ExportStatus Buffer::preview(string const & format, bool includeall) const
4300 {
4301         MarkAsExporting exporting(this);
4302         string result_file;
4303         // (1) export with all included children (omit \includeonly)
4304         if (includeall) {
4305                 ExportStatus const status = doExport(format, true, true, result_file);
4306                 if (status != ExportSuccess)
4307                         return status;
4308         }
4309         // (2) export with included children only
4310         ExportStatus const status = doExport(format, true, false, result_file);
4311         FileName const previewFile(result_file);
4312
4313         Impl * theimpl = isClone() ? d->cloned_buffer_->d : d;
4314         theimpl->preview_file_ = previewFile;
4315         theimpl->preview_format_ = format;
4316         theimpl->preview_error_ = (status != ExportSuccess);
4317
4318         if (status != ExportSuccess)
4319                 return status;
4320
4321         if (previewFile.exists())
4322                 return formats.view(*this, previewFile, format) ?
4323                         PreviewSuccess : PreviewError;
4324
4325         // Successful export but no output file?
4326         // Probably a bug in error detection.
4327         LATTEST(status != ExportSuccess);
4328         return status;
4329 }
4330
4331
4332 Buffer::ReadStatus Buffer::extractFromVC()
4333 {
4334         bool const found = LyXVC::file_not_found_hook(d->filename);
4335         if (!found)
4336                 return ReadFileNotFound;
4337         if (!d->filename.isReadableFile())
4338                 return ReadVCError;
4339         return ReadSuccess;
4340 }
4341
4342
4343 Buffer::ReadStatus Buffer::loadEmergency()
4344 {
4345         FileName const emergencyFile = getEmergencyFileName();
4346         if (!emergencyFile.exists()
4347                   || emergencyFile.lastModified() <= d->filename.lastModified())
4348                 return ReadFileNotFound;
4349
4350         docstring const file = makeDisplayPath(d->filename.absFileName(), 20);
4351         docstring const text = bformat(_("An emergency save of the document "
4352                 "%1$s exists.\n\nRecover emergency save?"), file);
4353
4354         int const load_emerg = Alert::prompt(_("Load emergency save?"), text,
4355                 0, 2, _("&Recover"), _("&Load Original"), _("&Cancel"));
4356
4357         switch (load_emerg)
4358         {
4359         case 0: {
4360                 docstring str;
4361                 ReadStatus const ret_llf = loadThisLyXFile(emergencyFile);
4362                 bool const success = (ret_llf == ReadSuccess);
4363                 if (success) {
4364                         if (isReadonly()) {
4365                                 Alert::warning(_("File is read-only"),
4366                                         bformat(_("An emergency file is successfully loaded, "
4367                                         "but the original file %1$s is marked read-only. "
4368                                         "Please make sure to save the document as a different "
4369                                         "file."), from_utf8(d->filename.absFileName())));
4370                         }
4371                         markDirty();
4372                         lyxvc().file_found_hook(d->filename);
4373                         str = _("Document was successfully recovered.");
4374                 } else
4375                         str = _("Document was NOT successfully recovered.");
4376                 str += "\n\n" + bformat(_("Remove emergency file now?\n(%1$s)"),
4377                         makeDisplayPath(emergencyFile.absFileName()));
4378
4379                 int const del_emerg =
4380                         Alert::prompt(_("Delete emergency file?"), str, 1, 1,
4381                                 _("&Remove"), _("&Keep"));
4382                 if (del_emerg == 0) {
4383                         emergencyFile.removeFile();
4384                         if (success)
4385                                 Alert::warning(_("Emergency file deleted"),
4386                                         _("Do not forget to save your file now!"), true);
4387                         }
4388                 return success ? ReadSuccess : ReadEmergencyFailure;
4389         }
4390         case 1: {
4391                 int const del_emerg =
4392                         Alert::prompt(_("Delete emergency file?"),
4393                                 _("Remove emergency file now?"), 1, 1,
4394                                 _("&Remove"), _("&Keep"));
4395                 if (del_emerg == 0)
4396                         emergencyFile.removeFile();
4397                 return ReadOriginal;
4398         }
4399
4400         default:
4401                 break;
4402         }
4403         return ReadCancel;
4404 }
4405
4406
4407 Buffer::ReadStatus Buffer::loadAutosave()
4408 {
4409         // Now check if autosave file is newer.
4410         FileName const autosaveFile = getAutosaveFileName();
4411         if (!autosaveFile.exists()
4412                   || autosaveFile.lastModified() <= d->filename.lastModified())
4413                 return ReadFileNotFound;
4414
4415         docstring const file = makeDisplayPath(d->filename.absFileName(), 20);
4416         docstring const text = bformat(_("The backup of the document %1$s "
4417                 "is newer.\n\nLoad the backup instead?"), file);
4418         int const ret = Alert::prompt(_("Load backup?"), text, 0, 2,
4419                 _("&Load backup"), _("Load &original"), _("&Cancel"));
4420
4421         switch (ret)
4422         {
4423         case 0: {
4424                 ReadStatus const ret_llf = loadThisLyXFile(autosaveFile);
4425                 // the file is not saved if we load the autosave file.
4426                 if (ret_llf == ReadSuccess) {
4427                         if (isReadonly()) {
4428                                 Alert::warning(_("File is read-only"),
4429                                         bformat(_("A backup file is successfully loaded, "
4430                                         "but the original file %1$s is marked read-only. "
4431                                         "Please make sure to save the document as a "
4432                                         "different file."),
4433                                         from_utf8(d->filename.absFileName())));
4434                         }
4435                         markDirty();
4436                         lyxvc().file_found_hook(d->filename);
4437                         return ReadSuccess;
4438                 }
4439                 return ReadAutosaveFailure;
4440         }
4441         case 1:
4442                 // Here we delete the autosave
4443                 autosaveFile.removeFile();
4444                 return ReadOriginal;
4445         default:
4446                 break;
4447         }
4448         return ReadCancel;
4449 }
4450
4451
4452 Buffer::ReadStatus Buffer::loadLyXFile()
4453 {
4454         if (!d->filename.isReadableFile()) {
4455                 ReadStatus const ret_rvc = extractFromVC();
4456                 if (ret_rvc != ReadSuccess)
4457                         return ret_rvc;
4458         }
4459
4460         ReadStatus const ret_re = loadEmergency();
4461         if (ret_re == ReadSuccess || ret_re == ReadCancel)
4462                 return ret_re;
4463
4464         ReadStatus const ret_ra = loadAutosave();
4465         if (ret_ra == ReadSuccess || ret_ra == ReadCancel)
4466                 return ret_ra;
4467
4468         return loadThisLyXFile(d->filename);
4469 }
4470
4471
4472 Buffer::ReadStatus Buffer::loadThisLyXFile(FileName const & fn)
4473 {
4474         return readFile(fn);
4475 }
4476
4477
4478 void Buffer::bufferErrors(TeXErrors const & terr, ErrorList & errorList) const
4479 {
4480         for (auto const & err : terr) {
4481                 TexRow::TextEntry start, end = TexRow::text_none;
4482                 int errorRow = err.error_in_line;
4483                 Buffer const * buf = 0;
4484                 Impl const * p = d;
4485                 if (err.child_name.empty())
4486                         tie(start, end) = p->texrow.getEntriesFromRow(errorRow);
4487                 else {
4488                         // The error occurred in a child
4489                         for (Buffer const * child : getDescendents()) {
4490                                 string const child_name =
4491                                         DocFileName(changeExtension(child->absFileName(), "tex")).
4492                                         mangledFileName();
4493                                 if (err.child_name != child_name)
4494                                         continue;
4495                                 tie(start, end) = child->d->texrow.getEntriesFromRow(errorRow);
4496                                 if (!TexRow::isNone(start)) {
4497                                         buf = d->cloned_buffer_
4498                                                 ? child->d->cloned_buffer_->d->owner_
4499                                                 : child->d->owner_;
4500                                         p = child->d;
4501                                         break;
4502                                 }
4503                         }
4504                 }
4505                 errorList.push_back(ErrorItem(err.error_desc, err.error_text,
4506                                               start, end, buf));
4507         }
4508 }
4509
4510
4511 void Buffer::setBuffersForInsets() const
4512 {
4513         inset().setBuffer(const_cast<Buffer &>(*this));
4514 }
4515
4516
4517 void Buffer::updateBuffer(UpdateScope scope, UpdateType utype) const
4518 {
4519         LBUFERR(!text().paragraphs().empty());
4520
4521         // Use the master text class also for child documents
4522         Buffer const * const master = masterBuffer();
4523         DocumentClass const & textclass = master->params().documentClass();
4524
4525         // do this only if we are the top-level Buffer
4526         if (master == this) {
4527                 textclass.counters().reset(from_ascii("bibitem"));
4528                 reloadBibInfoCache();
4529         }
4530
4531         // keep the buffers to be children in this set. If the call from the
4532         // master comes back we can see which of them were actually seen (i.e.
4533         // via an InsetInclude). The remaining ones in the set need still be updated.
4534         static std::set<Buffer const *> bufToUpdate;
4535         if (scope == UpdateMaster) {
4536                 // If this is a child document start with the master
4537                 if (master != this) {
4538                         bufToUpdate.insert(this);
4539                         master->updateBuffer(UpdateMaster, utype);
4540                         // If the master buffer has no gui associated with it, then the TocModel is
4541                         // not updated during the updateBuffer call and TocModel::toc_ is invalid
4542                         // (bug 5699). The same happens if the master buffer is open in a different
4543                         // window. This test catches both possibilities.
4544                         // See: http://marc.info/?l=lyx-devel&m=138590578911716&w=2
4545                         // There remains a problem here: If there is another child open in yet a third
4546                         // window, that TOC is not updated. So some more general solution is needed at
4547                         // some point.
4548                         if (master->d->gui_ != d->gui_)
4549                                 structureChanged();
4550
4551                         // was buf referenced from the master (i.e. not in bufToUpdate anymore)?
4552                         if (bufToUpdate.find(this) == bufToUpdate.end())
4553                                 return;
4554                 }
4555
4556                 // start over the counters in the master
4557                 textclass.counters().reset();
4558         }
4559
4560         // update will be done below for this buffer
4561         bufToUpdate.erase(this);
4562
4563         // update all caches
4564         clearReferenceCache();
4565         updateMacros();
4566         setChangesPresent(false);
4567
4568         Buffer & cbuf = const_cast<Buffer &>(*this);
4569
4570         // do the real work
4571         ParIterator parit = cbuf.par_iterator_begin();
4572         updateBuffer(parit, utype);
4573
4574         if (master != this)
4575                 // TocBackend update will be done later.
4576                 return;
4577
4578         d->bibinfo_cache_valid_ = true;
4579         d->cite_labels_valid_ = true;
4580         /// FIXME: Perf
4581         cbuf.tocBackend().update(true, utype);
4582         if (scope == UpdateMaster)
4583                 cbuf.structureChanged();
4584 }
4585
4586
4587 static depth_type getDepth(DocIterator const & it)
4588 {
4589         depth_type depth = 0;
4590         for (size_t i = 0 ; i < it.depth() ; ++i)
4591                 if (!it[i].inset().inMathed())
4592                         depth += it[i].paragraph().getDepth() + 1;
4593         // remove 1 since the outer inset does not count
4594         // we should have at least one non-math inset, so
4595         // depth should nevery be 0. but maybe it is worth
4596         // marking this, just in case.
4597         LATTEST(depth > 0);
4598         // coverity[INTEGER_OVERFLOW]
4599         return depth - 1;
4600 }
4601
4602 static depth_type getItemDepth(ParIterator const & it)
4603 {
4604         Paragraph const & par = *it;
4605         LabelType const labeltype = par.layout().labeltype;
4606
4607         if (labeltype != LABEL_ENUMERATE && labeltype != LABEL_ITEMIZE)
4608                 return 0;
4609
4610         // this will hold the lowest depth encountered up to now.
4611         depth_type min_depth = getDepth(it);
4612         ParIterator prev_it = it;
4613         while (true) {
4614                 if (prev_it.pit())
4615                         --prev_it.top().pit();
4616                 else {
4617                         // start of nested inset: go to outer par
4618                         prev_it.pop_back();
4619                         if (prev_it.empty()) {
4620                                 // start of document: nothing to do
4621                                 return 0;
4622                         }
4623                 }
4624
4625                 // We search for the first paragraph with same label
4626                 // that is not more deeply nested.
4627                 Paragraph & prev_par = *prev_it;
4628                 depth_type const prev_depth = getDepth(prev_it);
4629                 if (labeltype == prev_par.layout().labeltype) {
4630                         if (prev_depth < min_depth)
4631                                 return prev_par.itemdepth + 1;
4632                         if (prev_depth == min_depth)
4633                                 return prev_par.itemdepth;
4634                 }
4635                 min_depth = min(min_depth, prev_depth);
4636                 // small optimization: if we are at depth 0, we won't
4637                 // find anything else
4638                 if (prev_depth == 0)
4639                         return 0;
4640         }
4641 }
4642
4643
4644 static bool needEnumCounterReset(ParIterator const & it)
4645 {
4646         Paragraph const & par = *it;
4647         LASSERT(par.layout().labeltype == LABEL_ENUMERATE, return false);
4648         depth_type const cur_depth = par.getDepth();
4649         ParIterator prev_it = it;
4650         while (prev_it.pit()) {
4651                 --prev_it.top().pit();
4652                 Paragraph const & prev_par = *prev_it;
4653                 if (prev_par.getDepth() <= cur_depth)
4654                         return prev_par.layout().name() != par.layout().name();
4655         }
4656         // start of nested inset: reset
4657         return true;
4658 }
4659
4660
4661 // set the label of a paragraph. This includes the counters.
4662 void Buffer::Impl::setLabel(ParIterator & it, UpdateType utype) const
4663 {
4664         BufferParams const & bp = owner_->masterBuffer()->params();
4665         DocumentClass const & textclass = bp.documentClass();
4666         Paragraph & par = it.paragraph();
4667         Layout const & layout = par.layout();
4668         Counters & counters = textclass.counters();
4669
4670         if (par.params().startOfAppendix()) {
4671                 // We want to reset the counter corresponding to toplevel sectioning
4672                 Layout const & lay = textclass.getTOCLayout();
4673                 docstring const cnt = lay.counter;
4674                 if (!cnt.empty())
4675                         counters.reset(cnt);
4676                 counters.appendix(true);
4677         }
4678         par.params().appendix(counters.appendix());
4679
4680         // Compute the item depth of the paragraph
4681         par.itemdepth = getItemDepth(it);
4682
4683         if (layout.margintype == MARGIN_MANUAL) {
4684                 if (par.params().labelWidthString().empty())
4685                         par.params().labelWidthString(par.expandLabel(layout, bp));
4686         } else if (layout.latextype == LATEX_BIB_ENVIRONMENT) {
4687                 // we do not need to do anything here, since the empty case is
4688                 // handled during export.
4689         } else {
4690                 par.params().labelWidthString(docstring());
4691         }
4692
4693         switch(layout.labeltype) {
4694         case LABEL_ITEMIZE: {
4695                 // At some point of time we should do something more
4696                 // clever here, like:
4697                 //   par.params().labelString(
4698                 //    bp.user_defined_bullet(par.itemdepth).getText());
4699                 // for now, use a simple hardcoded label
4700                 docstring itemlabel;
4701                 switch (par.itemdepth) {
4702                 case 0:
4703                         itemlabel = char_type(0x2022);
4704                         break;
4705                 case 1:
4706                         itemlabel = char_type(0x2013);
4707                         break;
4708                 case 2:
4709                         itemlabel = char_type(0x2217);
4710                         break;
4711                 case 3:
4712                         itemlabel = char_type(0x2219); // or 0x00b7
4713                         break;
4714                 }
4715                 par.params().labelString(itemlabel);
4716                 break;
4717         }
4718
4719         case LABEL_ENUMERATE: {
4720                 docstring enumcounter = layout.counter.empty() ? from_ascii("enum") : layout.counter;
4721
4722                 switch (par.itemdepth) {
4723                 case 2:
4724                         enumcounter += 'i';
4725                 case 1:
4726                         enumcounter += 'i';
4727                 case 0:
4728                         enumcounter += 'i';
4729                         break;
4730                 case 3:
4731                         enumcounter += "iv";
4732                         break;
4733                 default:
4734                         // not a valid enumdepth...
4735                         break;
4736                 }
4737
4738                 // Increase the master counter?
4739                 if (layout.stepmastercounter && needEnumCounterReset(it))
4740                         counters.stepMaster(enumcounter, utype);
4741
4742                 // Maybe we have to reset the enumeration counter.
4743                 if (!layout.resumecounter && needEnumCounterReset(it))
4744                         counters.reset(enumcounter);
4745                 counters.step(enumcounter, utype);
4746
4747                 string const & lang = par.getParLanguage(bp)->code();
4748                 par.params().labelString(counters.theCounter(enumcounter, lang));
4749
4750                 break;
4751         }
4752
4753         case LABEL_SENSITIVE: {
4754                 string const & type = counters.current_float();
4755                 docstring full_label;
4756                 if (type.empty())
4757                         full_label = owner_->B_("Senseless!!! ");
4758                 else {
4759                         docstring name = owner_->B_(textclass.floats().getType(type).name());
4760                         if (counters.hasCounter(from_utf8(type))) {
4761                                 string const & lang = par.getParLanguage(bp)->code();
4762                                 counters.step(from_utf8(type), utype);
4763                                 full_label = bformat(from_ascii("%1$s %2$s:"),
4764                                                      name,
4765                                                      counters.theCounter(from_utf8(type), lang));
4766                         } else
4767                                 full_label = bformat(from_ascii("%1$s #:"), name);
4768                 }
4769                 par.params().labelString(full_label);
4770                 break;
4771         }
4772
4773         case LABEL_NO_LABEL:
4774                 par.params().labelString(docstring());
4775                 break;
4776
4777         case LABEL_ABOVE:
4778         case LABEL_CENTERED:
4779         case LABEL_STATIC: {
4780                 docstring const & lcounter = layout.counter;
4781                 if (!lcounter.empty()) {
4782                         if (layout.toclevel <= bp.secnumdepth
4783                                                 && (layout.latextype != LATEX_ENVIRONMENT
4784                                         || it.text()->isFirstInSequence(it.pit()))) {
4785                                 if (counters.hasCounter(lcounter))
4786                                         counters.step(lcounter, utype);
4787                                 par.params().labelString(par.expandLabel(layout, bp));
4788                         } else
4789                                 par.params().labelString(docstring());
4790                 } else
4791                         par.params().labelString(par.expandLabel(layout, bp));
4792                 break;
4793         }
4794
4795         case LABEL_MANUAL:
4796         case LABEL_BIBLIO:
4797                 par.params().labelString(par.expandLabel(layout, bp));
4798         }
4799 }
4800
4801
4802 void Buffer::updateBuffer(ParIterator & parit, UpdateType utype) const
4803 {
4804         // LASSERT: Is it safe to continue here, or should we just return?
4805         LASSERT(parit.pit() == 0, /**/);
4806
4807         // Set the position of the text in the buffer to be able
4808         // to resolve macros in it.
4809         parit.text()->setMacrocontextPosition(parit);
4810
4811         depth_type maxdepth = 0;
4812         pit_type const lastpit = parit.lastpit();
4813         for ( ; parit.pit() <= lastpit ; ++parit.pit()) {
4814                 // reduce depth if necessary
4815                 if (parit->params().depth() > maxdepth) {
4816                         /** FIXME: this function is const, but
4817                          * nevertheless it modifies the buffer. To be
4818                          * cleaner, one should modify the buffer in
4819                          * another function, which is actually
4820                          * non-const. This would however be costly in
4821                          * terms of code duplication.
4822                          */
4823                         const_cast<Buffer *>(this)->undo().recordUndo(CursorData(parit));
4824                         parit->params().depth(maxdepth);
4825                 }
4826                 maxdepth = parit->getMaxDepthAfter();
4827
4828                 if (utype == OutputUpdate) {
4829                         // track the active counters
4830                         // we have to do this for the master buffer, since the local
4831                         // buffer isn't tracking anything.
4832                         masterBuffer()->params().documentClass().counters().
4833                                         setActiveLayout(parit->layout());
4834                 }
4835
4836                 // set the counter for this paragraph
4837                 d->setLabel(parit, utype);
4838
4839                 // update change-tracking flag 
4840                 parit->addChangesToBuffer(*this);
4841
4842                 // now the insets
4843                 InsetList::const_iterator iit = parit->insetList().begin();
4844                 InsetList::const_iterator end = parit->insetList().end();
4845                 for (; iit != end; ++iit) {
4846                         parit.pos() = iit->pos;
4847                         iit->inset->updateBuffer(parit, utype);
4848                 }
4849         }
4850 }
4851
4852
4853 int Buffer::spellCheck(DocIterator & from, DocIterator & to,
4854         WordLangTuple & word_lang, docstring_list & suggestions) const
4855 {
4856         int progress = 0;
4857         WordLangTuple wl;
4858         suggestions.clear();
4859         word_lang = WordLangTuple();
4860         bool const to_end = to.empty();
4861         DocIterator const end = to_end ? doc_iterator_end(this) : to;
4862         // OK, we start from here.
4863         for (; from != end; from.forwardPos()) {
4864                 // This skips all insets with spell check disabled.
4865                 while (!from.allowSpellCheck()) {
4866                         from.pop_back();
4867                         from.pos()++;
4868                 }
4869                 // If from is at the end of the document (which is possible
4870                 // when "from" was changed above) LyX will crash later otherwise.
4871                 if (from.atEnd() || (!to_end && from >= end))
4872                         break;
4873                 to = from;
4874                 from.paragraph().spellCheck();
4875                 SpellChecker::Result res = from.paragraph().spellCheck(from.pos(), to.pos(), wl, suggestions);
4876                 if (SpellChecker::misspelled(res)) {
4877                         word_lang = wl;
4878                         break;
4879                 }
4880                 // Do not increase progress when from == to, otherwise the word
4881                 // count will be wrong.
4882                 if (from != to) {
4883                         from = to;
4884                         ++progress;
4885                 }
4886         }
4887         return progress;
4888 }
4889
4890
4891 void Buffer::Impl::updateStatistics(DocIterator & from, DocIterator & to, bool skipNoOutput)
4892 {
4893         bool inword = false;
4894         word_count_ = 0;
4895         char_count_ = 0;
4896         blank_count_ = 0;
4897
4898         for (DocIterator dit = from ; dit != to && !dit.atEnd(); ) {
4899                 if (!dit.inTexted()) {
4900                         dit.forwardPos();
4901                         continue;
4902                 }
4903
4904                 Paragraph const & par = dit.paragraph();
4905                 pos_type const pos = dit.pos();
4906
4907                 // Copied and adapted from isWordSeparator() in Paragraph
4908                 if (pos == dit.lastpos()) {
4909                         inword = false;
4910                 } else {
4911                         Inset const * ins = par.getInset(pos);
4912                         if (ins && skipNoOutput && !ins->producesOutput()) {
4913                                 // skip this inset
4914                                 ++dit.top().pos();
4915                                 // stop if end of range was skipped
4916                                 if (!to.atEnd() && dit >= to)
4917                                         break;
4918                                 continue;
4919                         } else if (!par.isDeleted(pos)) {
4920                                 if (par.isWordSeparator(pos))
4921                                         inword = false;
4922                                 else if (!inword) {
4923                                         ++word_count_;
4924                                         inword = true;
4925                                 }
4926                                 if (ins && ins->isLetter())
4927                                         ++char_count_;
4928                                 else if (ins && ins->isSpace())
4929                                         ++blank_count_;
4930                                 else {
4931                                         char_type const c = par.getChar(pos);
4932                                         if (isPrintableNonspace(c))
4933                                                 ++char_count_;
4934                                         else if (isSpace(c))
4935                                                 ++blank_count_;
4936                                 }
4937                         }
4938                 }
4939                 dit.forwardPos();
4940         }
4941 }
4942
4943
4944 void Buffer::updateStatistics(DocIterator & from, DocIterator & to, bool skipNoOutput) const
4945 {
4946         d->updateStatistics(from, to, skipNoOutput);
4947 }
4948
4949
4950 int Buffer::wordCount() const
4951 {
4952         return d->wordCount();
4953 }
4954
4955
4956 int Buffer::charCount(bool with_blanks) const
4957 {
4958         return d->charCount(with_blanks);
4959 }
4960
4961
4962 Buffer::ReadStatus Buffer::reload()
4963 {
4964         setBusy(true);
4965         // c.f. bug http://www.lyx.org/trac/ticket/6587
4966         removeAutosaveFile();
4967         // e.g., read-only status could have changed due to version control
4968         d->filename.refresh();
4969         docstring const disp_fn = makeDisplayPath(d->filename.absFileName());
4970
4971         // clear parent. this will get reset if need be.
4972         d->setParent(0);
4973         ReadStatus const status = loadLyXFile();
4974         if (status == ReadSuccess) {
4975                 updateBuffer();
4976                 changed(true);
4977                 updateTitles();
4978                 markClean();
4979                 message(bformat(_("Document %1$s reloaded."), disp_fn));
4980                 d->undo_.clear();
4981         } else {
4982                 message(bformat(_("Could not reload document %1$s."), disp_fn));
4983         }
4984         setBusy(false);
4985         removePreviews();
4986         updatePreviews();
4987         errors("Parse");
4988         return status;
4989 }
4990
4991
4992 bool Buffer::saveAs(FileName const & fn)
4993 {
4994         FileName const old_name = fileName();
4995         FileName const old_auto = getAutosaveFileName();
4996         bool const old_unnamed = isUnnamed();
4997         bool success = true;
4998         d->old_position = filePath();
4999
5000         setFileName(fn);
5001         markDirty();
5002         setUnnamed(false);
5003
5004         if (save()) {
5005                 // bring the autosave file with us, just in case.
5006                 moveAutosaveFile(old_auto);
5007                 // validate version control data and
5008                 // correct buffer title
5009                 lyxvc().file_found_hook(fileName());
5010                 updateTitles();
5011                 // the file has now been saved to the new location.
5012                 // we need to check that the locations of child buffers
5013                 // are still valid.
5014                 checkChildBuffers();
5015                 checkMasterBuffer();
5016         } else {
5017                 // save failed
5018                 // reset the old filename and unnamed state
5019                 setFileName(old_name);
5020                 setUnnamed(old_unnamed);
5021                 success = false;
5022         }
5023
5024         d->old_position.clear();
5025         return success;
5026 }
5027
5028
5029 void Buffer::checkChildBuffers()
5030 {
5031         Impl::BufferPositionMap::iterator it = d->children_positions.begin();
5032         Impl::BufferPositionMap::iterator const en = d->children_positions.end();
5033         for (; it != en; ++it) {
5034                 DocIterator dit = it->second;
5035                 Buffer * cbuf = const_cast<Buffer *>(it->first);
5036                 if (!cbuf || !theBufferList().isLoaded(cbuf))
5037                         continue;
5038                 Inset * inset = dit.nextInset();
5039                 LASSERT(inset && inset->lyxCode() == INCLUDE_CODE, continue);
5040                 InsetInclude * inset_inc = static_cast<InsetInclude *>(inset);
5041                 docstring const & incfile = inset_inc->getParam("filename");
5042                 string oldloc = cbuf->absFileName();
5043                 string newloc = makeAbsPath(to_utf8(incfile),
5044                                 onlyPath(absFileName())).absFileName();
5045                 if (oldloc == newloc)
5046                         continue;
5047                 // the location of the child file is incorrect.
5048                 cbuf->setParent(0);
5049                 inset_inc->setChildBuffer(0);
5050         }
5051         // invalidate cache of children
5052         d->children_positions.clear();
5053         d->position_to_children.clear();
5054 }
5055
5056
5057 // If a child has been saved under a different name/path, it might have been
5058 // orphaned. Therefore the master needs to be reset (bug 8161).
5059 void Buffer::checkMasterBuffer()
5060 {
5061         Buffer const * const master = masterBuffer();
5062         if (master == this)
5063                 return;
5064
5065         // necessary to re-register the child (bug 5873)
5066         // FIXME: clean up updateMacros (here, only
5067         // child registering is needed).
5068         master->updateMacros();
5069         // (re)set master as master buffer, but only
5070         // if we are a real child
5071         if (master->isChild(this))
5072                 setParent(master);
5073         else
5074                 setParent(0);
5075 }
5076
5077
5078 string Buffer::includedFilePath(string const & name, string const & ext) const
5079 {
5080         if (d->old_position.empty() ||
5081             equivalent(FileName(d->old_position), FileName(filePath())))
5082                 return name;
5083
5084         bool isabsolute = FileName::isAbsolute(name);
5085         // both old_position and filePath() end with a path separator
5086         string absname = isabsolute ? name : d->old_position + name;
5087
5088         // if old_position is set to origin, we need to do the equivalent of
5089         // getReferencedFileName() (see readDocument())
5090         if (!isabsolute && d->old_position == params().origin) {
5091                 FileName const test(addExtension(filePath() + name, ext));
5092                 if (test.exists())
5093                         absname = filePath() + name;
5094         }
5095
5096         if (!FileName(addExtension(absname, ext)).exists())
5097                 return name;
5098
5099         if (isabsolute)
5100                 return to_utf8(makeRelPath(from_utf8(name), from_utf8(filePath())));
5101
5102         return to_utf8(makeRelPath(from_utf8(FileName(absname).realPath()),
5103                                    from_utf8(filePath())));
5104 }
5105
5106
5107 void Buffer::setChangesPresent(bool b) const
5108 {
5109         d->tracked_changes_present_ = b;
5110 }
5111
5112
5113 bool Buffer::areChangesPresent() const
5114 {
5115         return d->tracked_changes_present_;
5116 }
5117
5118
5119 void Buffer::updateChangesPresent() const
5120 {
5121         LYXERR(Debug::CHANGES, "Buffer::updateChangesPresent");
5122         setChangesPresent(false);
5123         ParConstIterator it = par_iterator_begin();
5124         ParConstIterator const end = par_iterator_end();
5125         for (; !areChangesPresent() && it != end; ++it)
5126                 it->addChangesToBuffer(*this);
5127 }
5128
5129
5130
5131 } // namespace lyx