]> git.lyx.org Git - lyx.git/blobdiff - src/undo_funcs.C
don't rm emergency saves ever
[lyx.git] / src / undo_funcs.C
index 5917493052272934e573491571a6422c844ae847..63cbe37fc91a8a3794116fa191c76df248e8472e 100644 (file)
@@ -17,7 +17,6 @@
 #include "insets/insettext.h"
 #include "debug.h"
 #include "support/LAssert.h"
-
 #include "iterators.h"
 
 #include <vector>
@@ -26,14 +25,14 @@ using std::vector;
 using boost::shared_ptr;
 
 
-/// the flag used by FinishUndo();
+/// The flag used by FinishUndo().
 bool undo_finished;
-/// whether actions are not added to the undo stacks
+/// Whether actions are not added to the undo stacks.
 bool undo_frozen;
 
 namespace {
 
-/// utility to return the cursor
+/// Utility to return the cursor.
 LyXCursor const & undoCursor(BufferView * bv)
 {
        if (bv->theLockingInset())
@@ -41,20 +40,21 @@ LyXCursor const & undoCursor(BufferView * bv)
        return bv->text->cursor;
 }
 
+
 /**
- * returns a pointer to the very first Paragraph depending of where we are
- * so it will return the first paragraph of the buffer or the first paragraph
- * of the textinset we're in.
+ * Returns a pointer to the very first Paragraph depending of where
+ * we are so it will return the first paragraph of the buffer or the
+ * first paragraph of the textinset we're in.
  */
-Paragraph * firstUndoParagraph(BufferView * bv, int inset_id)
+ParagraphList undoParagraphs(BufferView * bv, int inset_id)
 {
        Inset * inset = bv->buffer()->getInsetFromID(inset_id);
        if (inset) {
-               Paragraph * result = inset->getFirstParagraph(0);
-               if (result)
-                       return result;
+               ParagraphList * result = inset->getParagraphs(0);
+               if (result && !result->empty())
+                       return *result;
        }
-       return &*bv->text->ownerParagraphs().begin();
+       return bv->text->ownerParagraphs();
 }
 
 
@@ -72,20 +72,16 @@ void finishNoUndo(BufferView * bv)
 }
 
 
-// returns false if no undo possible
+// Returns false if no undo possible.
 bool textHandleUndo(BufferView * bv, Undo & undo)
 {
        Buffer * b = bv->buffer();
 
-       Paragraph * before =
-               &*b->getParFromID(undo.number_of_before_par);
-       Paragraph * behind =
-               &*b->getParFromID(undo.number_of_behind_par);
-       Paragraph * tmppar;
-       Paragraph * tmppar2;
+       Paragraph * const before = &*b->getParFromID(undo.number_of_before_par);
+       Paragraph * const behind = &*b->getParFromID(undo.number_of_behind_par);
 
-       // if there's no before take the beginning
-       // of the document for redoing
+       // If there's no before take the beginning
+       // of the document for redoing.
        if (!before) {
                LyXText * t = bv->text;
                int num = undo.number_of_inset_id;
@@ -97,56 +93,43 @@ bool textHandleUndo(BufferView * bv, Undo & undo)
                                num = -1;
                        }
                }
-               t->setCursorIntern(firstUndoParagraph(bv, num), 0);
+               t->setCursorIntern(undoParagraphs(bv, num).begin(), 0);
        }
 
-       // replace the paragraphs with the undo informations
-
-       Paragraph * undopar = undo.par;
-       undo.par = 0;   /* otherwise the undo destructor would
-                          delete the paragraph */
-
-       // get last undo par and set the right(new) inset-owner of the
-       // paragraph if there is any. This is not needed if we don't have
-       // a paragraph before because then in is automatically done in the
-       // function which assigns the first paragraph to an InsetText. (Jug)
-       Paragraph * lastundopar = undopar;
-       if (lastundopar) {
+       // Set the right(new) inset-owner of the paragraph if there is any. 
+       if (!undo.pars.empty()) {
                Inset * in = 0;
                if (before)
                        in = before->inInset();
                else if (undo.number_of_inset_id >= 0)
                        in = bv->buffer()->getInsetFromID(undo.number_of_inset_id);
-               lastundopar->setInsetOwner(in);
-               while (lastundopar->next()) {
-                       lastundopar = lastundopar->next();
-                       lastundopar->setInsetOwner(in);
-               }
+               for (size_t i = 0, n = undo.pars.size(); i < n; ++i)
+                       undo.pars[i]->setInsetOwner(in);
        }
 
+       // Replace the paragraphs with the undo informations.
        vector<Paragraph *> deletelist;
 
-       Paragraph * deletepar;
-
-       // now add old paragraphs to be deleted
+       // Now add old paragraphs to be deleted.
        if (before != behind || (!behind && !before)) {
+               Paragraph * deletepar;
                if (before)
                        deletepar = before->next();
                else
-                       deletepar = firstUndoParagraph(bv, undo.number_of_inset_id);
-               tmppar2 = undopar;
+                       deletepar = &undoParagraphs(bv, undo.number_of_inset_id).front();
+               // this surprisingly fills the undo! (Andre')
+               size_t par = 0;
                while (deletepar && deletepar != behind) {
                        deletelist.push_back(deletepar);
-                       tmppar = deletepar;
                        deletepar = deletepar->next();
 
-                       // a memory optimization for edit:
+                       // A memory optimization for edit:
                        // Only layout information
                        // is stored in the undo. So restore
                        // the text informations.
                        if (undo.kind == Undo::EDIT) {
-                               tmppar2->setContentsFromPar(tmppar);
-                               tmppar2 = tmppar2->next();
+                               undo.pars[par]->setContentsFromPar(*deletelist.back());
+                               ++par;
                        }
                }
        }
@@ -155,20 +138,21 @@ bool textHandleUndo(BufferView * bv, Undo & undo)
        // next/prev pointer in the paragraphs so that a rebuild of
        // the LyXText works!!!
 
-       // thread the end of the undo onto the par in front if any
-       if (lastundopar) {
-               lastundopar->next(behind);
+       // Thread the end of the undo onto the par in front if any.
+       if (!undo.pars.empty()) {
+               undo.pars.back()->next(behind);
                if (behind)
-                       behind->previous(lastundopar);
+                       behind->previous(undo.pars.back());
        }
 
-       // put the new stuff in the list if there is one
-       if (undopar) {
-               undopar->previous(before);
+       // Put the new stuff in the list if there is one.
+       Paragraph * undopar = undo.pars.empty() ? 0 : undo.pars.front();
+       if (!undo.pars.empty()) {
+               undo.pars.front()->previous(before);
                if (before)
                        before->next(undopar);
                else {
-                       int id = firstUndoParagraph(bv, undo.number_of_inset_id)->id();
+                       int id = undoParagraphs(bv, undo.number_of_inset_id).front().id();
                        Paragraph * op = &*bv->buffer()->getParFromID(id);
                        if (op && op->inInset()) {
                                static_cast<InsetText*>(op->inInset())->paragraph(undopar);
@@ -177,31 +161,32 @@ bool textHandleUndo(BufferView * bv, Undo & undo)
                        }
                }
        } else {
-               // We enter here on DELETE undo operations where we have to
-               // substitue the second paragraph with the first if the removed
-               // one is the first!
+               // We enter here on DELETE undo operations where we
+               // have to substitue the second paragraph with the
+               // first if the removed one is the first.
                if (!before && behind) {
-                       int id = firstUndoParagraph(bv, undo.number_of_inset_id)->id();
+                       int id = undoParagraphs(bv, undo.number_of_inset_id).front().id();
                        Paragraph * op = &*bv->buffer()->getParFromID(id);
                        if (op && op->inInset()) {
                                static_cast<InsetText*>(op->inInset())->paragraph(behind);
                        } else {
                                bv->buffer()->paragraphs.set(behind);
                        }
-
                        undopar = behind;
                }
        }
 
 
-       // Set the cursor for redoing
-       if (before) { // if we have a par before the undopar
+       // Set the cursor for redoing.
+       // If we have a par before the undopar.
+       if (before) {
                Inset * it = before->inInset();
                if (it)
                        it->getLyXText(bv)->setCursorIntern(before, 0);
                else
                        bv->text->setCursorIntern(before, 0);
        }
+
 // we are not ready for this we cannot set the cursor for a paragraph
 // which is not already in a row of LyXText!!!
 #if 0
@@ -215,18 +200,20 @@ bool textHandleUndo(BufferView * bv, Undo & undo)
 #endif
 
        Paragraph * endpar = 0;
-       // calculate the endpar for redoing the paragraphs.
+
+       // Calculate the endpar for redoing the paragraphs.
        if (behind)
                endpar = behind->next();
 
-       tmppar = &*bv->buffer()->getParFromID(undo.number_of_cursor_par);
-       UpdatableInset* it = 0;
+       UpdatableInset * it = 0;
        if (undopar)
                it = static_cast<UpdatableInset*>(undopar->inInset());
        if (it) {
                it->getLyXText(bv)->redoParagraphs(
                                                   it->getLyXText(bv)->cursor,
                                                   endpar);
+               Paragraph * tmppar =
+                       &*bv->buffer()->getParFromID(undo.number_of_cursor_par);
                if (tmppar) {
                        it = static_cast<UpdatableInset*>(tmppar->inInset());
                        LyXText * t;
@@ -237,8 +224,8 @@ bool textHandleUndo(BufferView * bv, Undo & undo)
                                t = bv->text;
                        }
                        t->setCursorIntern(tmppar, undo.cursor_pos);
-                       // clear any selection and set the selection cursor
-                       // for an evt. new selection.
+                       // Clear any selection and set the selection
+                       // cursor for an evt. new selection.
                        t->clearSelection();
                        t->selection.cursor = t->cursor;
                        t->updateCounters();
@@ -249,6 +236,8 @@ bool textHandleUndo(BufferView * bv, Undo & undo)
                                          bv->text->cursor.pos());
        } else {
                bv->text->redoParagraphs(bv->text->cursor, endpar);
+               Paragraph * tmppar =
+                       &*bv->buffer()->getParFromID(undo.number_of_cursor_par);
                if (tmppar) {
                        LyXText * t;
                        Inset * it = tmppar->inInset();
@@ -259,23 +248,24 @@ bool textHandleUndo(BufferView * bv, Undo & undo)
                                t = bv->text;
                        }
                        t->setCursorIntern(tmppar, undo.cursor_pos);
-                       // clear any selection and set the selection cursor
-                       // for an evt. new selection.
+                       // Clear any selection and set the selection
+                       // cursor for an evt. new selection.
                        t->clearSelection();
                        t->selection.cursor = t->cursor;
                        t->updateCounters();
                }
        }
 
-       // And here it's safe enough to delete all removed paragraphs
+       // And here it's safe enough to delete all removed paragraphs.
        vector<Paragraph *>::iterator pit = deletelist.begin();
-       if (pit != deletelist.end()) {
-                       for(;pit != deletelist.end(); ++pit) {
-                               (*pit)->previous(0);
-                               (*pit)->next(0);
-                               delete (*pit);
-                       }
-               }
+       for(; pit != deletelist.end(); ++pit) {
+               (*pit)->previous(0);
+               (*pit)->next(0);
+               delete (*pit);
+       }
+
+       // Otherwise the undo destructor would delete the paragraphs
+       undo.pars.resize(0);
 
        finishUndo();
        bv->text->postPaint(0);
@@ -284,8 +274,11 @@ bool textHandleUndo(BufferView * bv, Undo & undo)
 
 
 bool createUndo(BufferView * bv, Undo::undo_kind kind,
-       Paragraph const * first, Paragraph const * behind, shared_ptr<Undo> & u)
+       ParagraphList::iterator itfirst, ParagraphList::iterator itbehind,
+       shared_ptr<Undo> & u)
 {
+       Paragraph * const first = &*itfirst;
+       Paragraph * const behind = &*itbehind;
        lyx::Assert(first);
 
        int before_number = -1;
@@ -309,106 +302,79 @@ bool createUndo(BufferView * bv, Undo::undo_kind kind,
        // EDIT is special since only layout information, not the
        // contents of a paragaph are stored.
        if (!undo_finished && (kind != Undo::EDIT) && (kind != Undo::FINISH)) {
-               // check whether storing is needed
+               // Check whether storing is needed.
                if (!b->undostack.empty() &&
                    b->undostack.top()->kind == kind &&
                    b->undostack.top()->number_of_before_par == before_number &&
                    b->undostack.top()->number_of_behind_par == behind_number) {
-                       // no undo needed
+                       // No undo needed.
                        return false;
                }
        }
 
-       // create a new Undo
-       Paragraph * undopar;
+       // Create a new Undo.
+       std::vector<Paragraph *> undo_pars;
 
-       Paragraph * start = const_cast<Paragraph *>(first);
-       Paragraph * end = 0;
+       Paragraph const * end = 0;
 
        if (behind)
-               end = const_cast<Paragraph*>(behind->previous());
+               end = behind->previous();
        else {
-               end = start;
+               end = first;
                while (end->next())
                        end = end->next();
        }
-       if (start && end && (start != end->next()) &&
+
+       if (first && end && (first != end->next()) &&
            ((before_number != behind_number) ||
                 ((before_number < 0) && (behind_number < 0))))
        {
-               Paragraph * tmppar = start;
-               Paragraph * tmppar2 = new Paragraph(*tmppar, true);
-
-               // a memory optimization: Just store the layout information
-               // when only edit
-               if (kind == Undo::EDIT) {
-                       tmppar2->clearContents();
-               }
-
-               undopar = tmppar2;
-
-               while (tmppar != end && tmppar->next()) {
+               undo_pars.push_back(new Paragraph(*first, true));
+               for (Paragraph * tmppar = first; tmppar != end && tmppar->next(); ) {
                        tmppar = tmppar->next();
-                       tmppar2->next(new Paragraph(*tmppar, true));
-                       // a memory optimization: Just store the layout
-                       // information when only edit
-                       if (kind == Undo::EDIT) {
-                               tmppar2->clearContents();
-                       }
-                       tmppar2->next()->previous(tmppar2);
-
-                       tmppar2 = tmppar2->next();
+                       undo_pars.push_back(new Paragraph(*tmppar, true));
+                       size_t const n = undo_pars.size();
+                       undo_pars[n - 2]->next(undo_pars[n - 1]);
+                       undo_pars[n - 1]->previous(undo_pars[n - 2]);
                }
-               tmppar2->next(0);
-       } else
-               undopar = 0; // nothing to replace (undo of delete maybe)
+               undo_pars.back()->next(0);
+       }
+
+       // A memory optimization: Just store the layout
+       // information when only edit.
+       if (kind == Undo::EDIT) {
+               for (size_t i = 0, n = undo_pars.size(); i < n; ++i)
+                       undo_pars[i]->clearContents();
+       }               
 
        int cursor_par = undoCursor(bv).par()->id();
-       int cursor_pos =  undoCursor(bv).pos();
+       int cursor_pos = undoCursor(bv).pos();
 
+       //lyxerr << "createUndo: inset_id: " << inset_id << "  before_number: " 
+       //      << before_number << "  behind_number: " << behind_number << "\n";
        u.reset(new Undo(kind, inset_id,
                before_number, behind_number,
-               cursor_par, cursor_pos, undopar));
+               cursor_par, cursor_pos, undo_pars));
 
        undo_finished = false;
        return true;
 }
 
-} // namespace anon
 
-void finishUndo()
-{
-       // makes sure the next operation will be stored
-       undo_finished = true;
-}
-
-
-void freezeUndo()
-{
-       // this is dangerous and for internal use only
-       undo_frozen = true;
-}
-
-
-void unFreezeUndo()
-{
-       // this is dangerous and for internal use only
-       undo_frozen = false;
-}
-
-
-// returns false if no undo possible
-bool textUndo(BufferView * bv)
+// Returns false if no undo possible.
+bool textUndoOrRedo(BufferView * bv,
+       limited_stack<boost::shared_ptr<Undo> > & stack,
+       limited_stack<boost::shared_ptr<Undo> > & otherstack)
 {
        Buffer * b = bv->buffer();
 
-       if (b->undostack.empty()) {
+       if (stack.empty()) {
                finishNoUndo(bv);
                return false;
        }
 
-       shared_ptr<Undo> undo = b->undostack.top();
-       b->undostack.pop();
+       shared_ptr<Undo> undo = stack.top();
+       stack.pop();
        finishUndo();
 
        if (!undo_frozen) {
@@ -416,18 +382,19 @@ bool textUndo(BufferView * bv)
                if (first && first->next())
                        first = first->next();
                else if (!first)
-                       first = firstUndoParagraph(bv, undo->number_of_inset_id);
+                       first = &*undoParagraphs(bv, undo->number_of_inset_id).begin();
                if (first) {
                        shared_ptr<Undo> u;
                        if (createUndo(bv, undo->kind, first,
-                               &*b->getParFromID(undo->number_of_behind_par), u))
-                               b->redostack.push(u);
+                                            b->getParFromID(undo->number_of_behind_par), u))
+                               otherstack.push(u);
                }
        }
 
-       // now we can unlock the inset for saftey because the inset pointer could
-       // be changed during the undo-function. Anyway if needed we have to lock
-       // the right inset/position if this is requested.
+       // Now we can unlock the inset for saftey because the inset
+       // pointer could be changed during the undo-function. Anyway
+       // if needed we have to lock the right inset/position if this
+       // is requested.
        freezeUndo();
        bv->unlockInset(bv->theLockingInset());
        bool const ret = textHandleUndo(bv, *undo.get());
@@ -435,48 +402,46 @@ bool textUndo(BufferView * bv)
        return ret;
 }
 
+} // namespace anon
 
-// returns false if no redo possible
-bool textRedo(BufferView * bv)
+
+void finishUndo()
 {
-       Buffer * b = bv->buffer();
+       // Makes sure the next operation will be stored.
+       undo_finished = true;
+}
 
-       if (b->redostack.empty()) {
-               finishNoUndo(bv);
-               return false;
-       }
 
-       shared_ptr<Undo> undo = b->redostack.top();
-       b->redostack.pop();
-       finishUndo();
+void freezeUndo()
+{
+       // This is dangerous and for internal use only.
+       undo_frozen = true;
+}
 
-       if (!undo_frozen) {
-       Paragraph * first = &*bv->buffer()->getParFromID(undo->number_of_before_par);
-               if (first && first->next())
-                       first = first->next();
-               else if (!first)
-                       first = firstUndoParagraph(bv, undo->number_of_inset_id);
-               if (first) {
-                       shared_ptr<Undo> u;
-                       if (createUndo(bv, undo->kind, first,
-                               &*bv->buffer()->getParFromID(undo->number_of_behind_par), u))
-                               bv->buffer()->undostack.push(u);
-               }
-       }
 
-       // now we can unlock the inset for saftey because the inset pointer could
-       // be changed during the undo-function. Anyway if needed we have to lock
-       // the right inset/position if this is requested.
-       freezeUndo();
-       bv->unlockInset(bv->theLockingInset());
-       bool ret = textHandleUndo(bv, *undo.get());
-       unFreezeUndo();
-       return ret;
+void unFreezeUndo()
+{
+       // This is dangerous and for internal use only.
+       undo_frozen = false;
+}
+
+
+bool textUndo(BufferView * bv)
+{
+       return textUndoOrRedo(bv, bv->buffer()->undostack,
+                             bv->buffer()->redostack);
+}
+
+
+bool textRedo(BufferView * bv)
+{
+       return textUndoOrRedo(bv, bv->buffer()->redostack,
+                             bv->buffer()->undostack);
 }
 
 
 void setUndo(BufferView * bv, Undo::undo_kind kind,
-            Paragraph const * first, Paragraph const * behind)
+            ParagraphList::iterator first, ParagraphList::iterator behind)
 {
        if (!undo_frozen) {
                shared_ptr<Undo> u;
@@ -488,7 +453,7 @@ void setUndo(BufferView * bv, Undo::undo_kind kind,
 
 
 void setRedo(BufferView * bv, Undo::undo_kind kind,
-            Paragraph const * first, Paragraph const * behind)
+            ParagraphList::iterator first, ParagraphList::iterator behind)
 {
        shared_ptr<Undo> u;
        if (createUndo(bv, kind, first, behind, u))
@@ -498,6 +463,6 @@ void setRedo(BufferView * bv, Undo::undo_kind kind,
 
 void setCursorParUndo(BufferView * bv)
 {
-       setUndo(bv, Undo::FINISH, &*bv->text->cursor.par(),
-               bv->text->cursor.par()->next());
+       setUndo(bv, Undo::FINISH, bv->text->cursor.par(),
+               boost::next(bv->text->cursor.par()));
 }