]> git.lyx.org Git - lyx.git/blob - src/buffer_funcs.C
Support lgathered and rgathered math environments
[lyx.git] / src / buffer_funcs.C
1 /**
2  * \file buffer_funcs.C
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 Alfredo Braunstein
8  *
9  * Full author contact details are available in file CREDITS.
10  *
11  */
12
13 #include <config.h>
14
15 #include "buffer_funcs.h"
16 #include "buffer.h"
17 #include "bufferlist.h"
18 #include "bufferparams.h"
19 #include "dociterator.h"
20 #include "counters.h"
21 #include "errorlist.h"
22 #include "Floating.h"
23 #include "FloatList.h"
24 #include "gettext.h"
25 #include "language.h"
26 #include "LaTeX.h"
27 #include "lyxtextclass.h"
28 #include "paragraph.h"
29 #include "paragraph_funcs.h"
30 #include "ParagraphList.h"
31 #include "ParagraphParameters.h"
32 #include "pariterator.h"
33 #include "lyxvc.h"
34 #include "texrow.h"
35 #include "vc-backend.h"
36 #include "toc.h"
37
38 #include "frontends/Alert.h"
39 #include "frontends/Application.h"
40
41 #include "insets/insetbibitem.h"
42
43 #include "support/filetools.h"
44 #include "support/fs_extras.h"
45 #include "support/lyxlib.h"
46
47 #include <iostream>
48
49 #include <boost/bind.hpp>
50 #include <boost/filesystem/operations.hpp>
51
52 using namespace std;
53
54 using lyx::pit_type;
55 using lyx::docstring;
56 using lyx::support::bformat;
57 using lyx::support::libFileSearch;
58 using lyx::support::makeDisplayPath;
59 using lyx::support::onlyFilename;
60 using lyx::support::onlyPath;
61 using lyx::support::unlink;
62
63 using std::min;
64 using std::string;
65
66 namespace fs = boost::filesystem;
67
68 namespace {
69
70 bool readFile(Buffer * const b, string const & s)
71 {
72         BOOST_ASSERT(b);
73
74         // File information about normal file
75         if (!fs::exists(s)) {
76                 docstring const file = makeDisplayPath(s, 50);
77                 docstring text = bformat(_("The specified document\n%1$s"
78                                                      "\ncould not be read."), file);
79                 Alert::error(_("Could not read document"), text);
80                 return false;
81         }
82
83         // Check if emergency save file exists and is newer.
84         string const e = onlyPath(s) + onlyFilename(s) + ".emergency";
85
86         if (fs::exists(e) && fs::exists(s)
87             && fs::last_write_time(e) > fs::last_write_time(s))
88         {
89                 docstring const file = makeDisplayPath(s, 20);
90                 docstring const text =
91                         bformat(_("An emergency save of the document "
92                                   "%1$s exists.\n\n"
93                                                "Recover emergency save?"), file);
94                 switch (Alert::prompt(_("Load emergency save?"), text, 0, 2,
95                                       _("&Recover"),  _("&Load Original"),
96                                       _("&Cancel")))
97                 {
98                 case 0:
99                         // the file is not saved if we load the emergency file.
100                         b->markDirty();
101                         return b->readFile(e);
102                 case 1:
103                         break;
104                 default:
105                         return false;
106                 }
107         }
108
109         // Now check if autosave file is newer.
110         string const a = onlyPath(s) + '#' + onlyFilename(s) + '#';
111
112         if (fs::exists(a) && fs::exists(s)
113             && fs::last_write_time(a) > fs::last_write_time(s))
114         {
115                 docstring const file = makeDisplayPath(s, 20);
116                 docstring const text =
117                         bformat(_("The backup of the document "
118                                   "%1$s is newer.\n\nLoad the "
119                                                "backup instead?"), file);
120                 switch (Alert::prompt(_("Load backup?"), text, 0, 2,
121                                       _("&Load backup"), _("Load &original"),
122                                       _("&Cancel") ))
123                 {
124                 case 0:
125                         // the file is not saved if we load the autosave file.
126                         b->markDirty();
127                         return b->readFile(a);
128                 case 1:
129                         // Here we delete the autosave
130                         unlink(a);
131                         break;
132                 default:
133                         return false;
134                 }
135         }
136         return b->readFile(s);
137 }
138
139
140 } // namespace anon
141
142
143
144 bool loadLyXFile(Buffer * b, string const & s)
145 {
146         BOOST_ASSERT(b);
147
148         if (fs::is_readable(s)) {
149                 if (readFile(b, s)) {
150                         b->lyxvc().file_found_hook(s);
151                         if (!fs::is_writable(s))
152                                 b->setReadonly(true);
153                         return true;
154                 }
155         } else {
156                 docstring const file = makeDisplayPath(s, 20);
157                 // Here we probably should run
158                 if (LyXVC::file_not_found_hook(s)) {
159                         docstring const text =
160                                 bformat(_("Do you want to retrieve the document"
161                                                        " %1$s from version control?"), file);
162                         int const ret = Alert::prompt(_("Retrieve from version control?"),
163                                 text, 0, 1, _("&Retrieve"), _("&Cancel"));
164
165                         if (ret == 0) {
166                                 // How can we know _how_ to do the checkout?
167                                 // With the current VC support it has to be,
168                                 // a RCS file since CVS do not have special ,v files.
169                                 RCS::retrieve(s);
170                                 return loadLyXFile(b, s);
171                         }
172                 }
173         }
174         return false;
175 }
176
177 // FIXME newFile() should probably be a member method of Application...
178 Buffer * newFile(string const & filename, string const & templatename,
179                  bool const isNamed)
180 {
181         // get a free buffer
182         Buffer * b = theApp->bufferList().newBuffer(filename);
183         BOOST_ASSERT(b);
184
185         string tname;
186         // use defaults.lyx as a default template if it exists.
187         if (templatename.empty())
188                 tname = libFileSearch("templates", "defaults.lyx");
189         else
190                 tname = templatename;
191
192         if (!tname.empty()) {
193                 if (!b->readFile(tname)) {
194                         docstring const file = makeDisplayPath(tname, 50);
195                         docstring const text  = bformat(
196                                 _("The specified document template\n%1$s\ncould not be read."),
197                                 file);
198                         Alert::error(_("Could not read template"), text);
199                         theApp->bufferList().release(b);
200                         return 0;
201                 }
202         }
203
204         if (!isNamed) {
205                 b->setUnnamed();
206                 b->setFileName(filename);
207         }
208
209         b->setReadonly(false);
210         b->fully_loaded(true);
211         b->updateDocLang(b->params().language);
212
213         return b;
214 }
215
216
217 void bufferErrors(Buffer const & buf, TeXErrors const & terr,
218                                   ErrorList & errorList)
219 {
220         TeXErrors::Errors::const_iterator cit = terr.begin();
221         TeXErrors::Errors::const_iterator end = terr.end();
222
223         for (; cit != end; ++cit) {
224                 int id_start = -1;
225                 int pos_start = -1;
226                 int errorrow = cit->error_in_line;
227                 bool found = buf.texrow().getIdFromRow(errorrow, id_start,
228                                                        pos_start);
229                 int id_end = -1;
230                 int pos_end = -1;
231                 do {
232                         ++errorrow;
233                         found = buf.texrow().getIdFromRow(errorrow, id_end,
234                                                           pos_end);
235                 } while (found && id_start == id_end && pos_start == pos_end);
236
237                 errorList.push_back(ErrorItem(lyx::from_utf8(cit->error_desc),
238                         lyx::from_utf8(cit->error_text), id_start, pos_start, pos_end));
239         }
240 }
241
242
243 string const bufferFormat(Buffer const & buffer)
244 {
245         if (buffer.isDocBook())
246                 return "docbook";
247         else if (buffer.isLiterate())
248                 return "literate";
249         else
250                 return "latex";
251 }
252
253
254 int countWords(DocIterator const & from, DocIterator const & to)
255 {
256         int count = 0;
257         bool inword = false;
258         for (DocIterator dit = from ; dit != to ; dit.forwardPos()) {
259                 // Copied and adapted from isLetter() in ControlSpellChecker
260                 if (dit.inTexted()
261                     && dit.pos() != dit.lastpos()
262                     && dit.paragraph().isLetter(dit.pos())
263                     && !isDeletedText(dit.paragraph(), dit.pos())) {
264                         if (!inword) {
265                                 ++count;
266                                 inword = true;
267                         }
268                 } else if (inword)
269                         inword = false;
270         }
271
272         return count;
273 }
274
275
276 namespace {
277
278 lyx::depth_type getDepth(DocIterator const & it)
279 {
280         lyx::depth_type depth = 0;
281         for (size_t i = 0 ; i < it.depth() ; ++i)
282                 if (!it[i].inset().inMathed())
283                         depth += it[i].paragraph().getDepth() + 1;
284         // remove 1 since the outer inset does not count
285         return depth - 1;
286 }
287
288 lyx::depth_type getItemDepth(ParIterator const & it)
289 {
290         Paragraph const & par = *it;
291         LYX_LABEL_TYPES const labeltype = par.layout()->labeltype;
292
293         if (labeltype != LABEL_ENUMERATE && labeltype != LABEL_ITEMIZE)
294                 return 0;
295
296         // this will hold the lowest depth encountered up to now.
297         lyx::depth_type min_depth = getDepth(it);
298         ParIterator prev_it = it;
299         while (true) {
300                 if (prev_it.pit())
301                         --prev_it.top().pit();
302                 else {
303                         // start of nested inset: go to outer par
304                         prev_it.pop_back();
305                         if (prev_it.empty()) {
306                                 // start of document: nothing to do
307                                 return 0;
308                         }
309                 }
310
311                 // We search for the first paragraph with same label
312                 // that is not more deeply nested.
313                 Paragraph & prev_par = *prev_it;
314                 lyx::depth_type const prev_depth = getDepth(prev_it);
315                 if (labeltype == prev_par.layout()->labeltype) {
316                         if (prev_depth < min_depth) {
317                                 return prev_par.itemdepth + 1;
318                         }
319                         else if (prev_depth == min_depth) {
320                                 return prev_par.itemdepth;
321                         }
322                 }
323                 min_depth = std::min(min_depth, prev_depth);
324                 // small optimization: if we are at depth 0, we won't
325                 // find anything else
326                 if (prev_depth == 0) {
327                         return 0;
328                 }
329         }
330 }
331
332
333 bool needEnumCounterReset(ParIterator const & it)
334 {
335         Paragraph const & par = *it;
336         BOOST_ASSERT(par.layout()->labeltype == LABEL_ENUMERATE);
337         lyx::depth_type const cur_depth = par.getDepth();
338         ParIterator prev_it = it;
339         while (prev_it.pit()) {
340                 --prev_it.top().pit();
341                 Paragraph const & prev_par = *prev_it;
342                 if (prev_par.getDepth() <= cur_depth)
343                         return  prev_par.layout()->labeltype != LABEL_ENUMERATE;
344         }
345         // start of nested inset: reset
346         return true;
347 }
348
349
350 // set the label of a paragraph. This includes the counters.
351 void setLabel(Buffer const & buf, ParIterator & it)
352 {
353         Paragraph & par = *it;
354         BufferParams const & bufparams = buf.params();
355         LyXTextClass const & textclass = bufparams.getLyXTextClass();
356         LyXLayout_ptr const & layout = par.layout();
357         Counters & counters = textclass.counters();
358
359         if (it.pit() == 0) {
360                 par.params().appendix(par.params().startOfAppendix());
361         } else {
362                 par.params().appendix(it.plist()[it.pit() - 1].params().appendix());
363                 if (!par.params().appendix() &&
364                     par.params().startOfAppendix()) {
365                         par.params().appendix(true);
366                         textclass.counters().reset();
367                 }
368         }
369
370         // Compute the item depth of the paragraph
371         par.itemdepth = getItemDepth(it);
372
373         // erase what was there before
374         par.params().labelString(string());
375
376         if (layout->margintype == MARGIN_MANUAL) {
377                 if (par.params().labelWidthString().empty())
378                         par.setLabelWidthString(layout->labelstring());
379         } else {
380                 par.setLabelWidthString(string());
381         }
382
383         // is it a layout that has an automatic label?
384         if (layout->labeltype == LABEL_COUNTER) {
385                 if (layout->toclevel <= buf.params().secnumdepth
386                     && (layout->latextype != LATEX_ENVIRONMENT
387                         || isFirstInSequence(it.pit(), it.plist()))) {
388                         counters.step(layout->counter);
389                         string label = expandLabel(buf, layout,
390                                                    par.params().appendix());
391                         par.params().labelString(label);
392                 }
393         } else if (layout->labeltype == LABEL_ITEMIZE) {
394                 // At some point of time we should do something more
395                 // clever here, like:
396                 //   par.params().labelString(
397                 //    bufparams.user_defined_bullet(par.itemdepth).getText());
398                 // for now, use a simple hardcoded label
399                 string itemlabel;
400                 switch (par.itemdepth) {
401                 case 0:
402                         itemlabel = "*";
403                         break;
404                 case 1:
405                         itemlabel = "-";
406                         break;
407                 case 2:
408                         itemlabel = "@";
409                         break;
410                 case 3:
411                         itemlabel = "·";
412                         break;
413                 }
414
415                 par.params().labelString(itemlabel);
416         } else if (layout->labeltype == LABEL_ENUMERATE) {
417                 // FIXME
418                 // Yes I know this is a really, really! bad solution
419                 // (Lgb)
420                 string enumcounter = "enum";
421
422                 switch (par.itemdepth) {
423                 case 2:
424                         enumcounter += 'i';
425                 case 1:
426                         enumcounter += 'i';
427                 case 0:
428                         enumcounter += 'i';
429                         break;
430                 case 3:
431                         enumcounter += "iv";
432                         break;
433                 default:
434                         // not a valid enumdepth...
435                         break;
436                 }
437
438                 // Maybe we have to reset the enumeration counter.
439                 if (needEnumCounterReset(it))
440                         counters.reset(enumcounter);
441
442                 counters.step(enumcounter);
443
444                 string format;
445
446                 switch (par.itemdepth) {
447                 case 0:
448                         format = N_("\\arabic{enumi}.");
449                         break;
450                 case 1:
451                         format = N_("(\\alph{enumii})");
452                         break;
453                 case 2:
454                         format = N_("\\roman{enumiii}.");
455                         break;
456                 case 3:
457                         format = N_("\\Alph{enumiv}.");
458                         break;
459                 default:
460                         // not a valid enumdepth...
461                         break;
462                 }
463
464                 // FIXME UNICODE
465                 par.params().labelString(counters.counterLabel(lyx::to_utf8(buf.B_(format))));
466         } else if (layout->labeltype == LABEL_BIBLIO) {// ale970302
467                 counters.step("bibitem");
468                 int number = counters.value("bibitem");
469                 if (par.bibitem())
470                         par.bibitem()->setCounter(number);
471                 // FIXME UNICODE
472                 par.params().labelString(lyx::to_utf8(buf.B_(layout->labelstring())));
473                 // In biblio should't be following counters but...
474         } else if (layout->labeltype == LABEL_SENSITIVE) {
475                 // Search for the first float or wrap inset in the iterator
476                 string type;
477                 size_t i = it.depth();
478                 while (i > 0) {
479                         --i;
480                         InsetBase * const in = &it[i].inset();
481                         if (in->lyxCode() == InsetBase::FLOAT_CODE
482                             || in->lyxCode() == InsetBase::WRAP_CODE) {
483                                 type = in->getInsetName();
484                                 break;
485                         }
486                 }
487
488                 docstring s;
489                 if (!type.empty()) {
490                         Floating const & fl = textclass.floats().getType(type);
491
492                         counters.step(fl.type());
493
494                         // Doesn't work... yet.
495                         // FIXME UNICODE
496                         s = bformat(_("%1$s #:"), buf.B_(fl.name()));
497                 } else {
498                         // par->SetLayout(0);
499                         // FIXME UNICODE
500                         s = buf.B_(layout->labelstring());
501                 }
502
503                 par.params().labelString(lyx::to_utf8(s));
504         } else if (layout->labeltype == LABEL_NO_LABEL)
505                 par.params().labelString(string());
506         else
507                 // FIXME UNICODE
508                 par.params().labelString(lyx::to_utf8(buf.B_(layout->labelstring())));
509 }
510
511 } // anon namespace
512
513
514 bool updateCurrentLabel(Buffer const & buf,
515         ParIterator & it)
516 {
517     if (it == par_iterator_end(buf.inset()))
518         return false;
519
520 //      if (it.lastpit == 0 && LyXText::isMainText())
521 //              return false;
522
523         switch (it->layout()->labeltype) {
524
525         case LABEL_NO_LABEL:
526         case LABEL_MANUAL:
527         case LABEL_BIBLIO:
528         case LABEL_TOP_ENVIRONMENT:
529         case LABEL_CENTERED_TOP_ENVIRONMENT:
530         case LABEL_STATIC:
531         case LABEL_ITEMIZE:
532                 setLabel(buf, it);
533                 return true;
534
535         case LABEL_SENSITIVE:
536         case LABEL_COUNTER:
537         // do more things with enumerate later
538         case LABEL_ENUMERATE:
539                 return false;
540         }
541
542         // This is dead code which get rid of a warning:
543         return true;
544 }
545
546
547 void updateLabels(Buffer const & buf,
548         ParIterator & from, ParIterator & to)
549 {
550         for (ParIterator it = from; it != to; ++it) {
551                 if (it.pit() > it.lastpit())
552                         return;
553                 if (!updateCurrentLabel (buf, it)) {
554                         updateLabels(buf);
555                         return;
556                 }
557         }
558 }
559
560
561 void updateLabels(Buffer const & buf,
562         ParIterator & iter)
563 {
564         if (updateCurrentLabel(buf, iter))
565                 return;
566
567         updateLabels(buf);
568 }
569
570
571 void updateLabels(Buffer const & buf)
572 {
573         // start over the counters
574         buf.params().getLyXTextClass().counters().reset();
575
576         ParIterator const end = par_iterator_end(buf.inset());
577
578         for (ParIterator it = par_iterator_begin(buf.inset()); it != end; ++it) {
579                 // reduce depth if necessary
580                 if (it.pit()) {
581                         Paragraph const & prevpar = it.plist()[it.pit() - 1];
582                         it->params().depth(min(it->params().depth(),
583                                                prevpar.getMaxDepthAfter()));
584                 } else
585                         it->params().depth(0);
586
587                 // set the counter for this paragraph
588                 setLabel(buf, it);
589         }
590
591         lyx::toc::updateToc(buf);
592 }
593
594
595 string expandLabel(Buffer const & buf,
596         LyXLayout_ptr const & layout, bool appendix)
597 {
598         LyXTextClass const & tclass = buf.params().getLyXTextClass();
599
600         // FIXME UNICODE
601         string fmt = lyx::to_utf8(buf.B_(appendix ? layout->labelstring_appendix()
602                                   : layout->labelstring()));
603
604         // handle 'inherited level parts' in 'fmt',
605         // i.e. the stuff between '@' in   '@Section@.\arabic{subsection}'
606         size_t const i = fmt.find('@', 0);
607         if (i != string::npos) {
608                 size_t const j = fmt.find('@', i + 1);
609                 if (j != string::npos) {
610                         string parent(fmt, i + 1, j - i - 1);
611                         string label = expandLabel(buf, tclass[parent], appendix);
612                         fmt = string(fmt, 0, i) + label + string(fmt, j + 1, string::npos);
613                 }
614         }
615
616         return tclass.counters().counterLabel(fmt);
617 }