equal
deleted
inserted
replaced
365 |
365 |
366 ///Undo the changes until a snapshot. |
366 ///Undo the changes until a snapshot. |
367 |
367 |
368 ///Undo the changes until a snapshot created by save(). |
368 ///Undo the changes until a snapshot created by save(). |
369 /// |
369 /// |
370 ///\param s an internal stucture given back by save() |
|
371 ///\note After you restored a state, you cannot restore |
370 ///\note After you restored a state, you cannot restore |
372 ///a later state, in other word you cannot add again the edges deleted |
371 ///a later state, in other word you cannot add again the edges deleted |
373 ///by restore(). |
372 ///by restore(). |
374 /// |
373 /// |
375 ///\todo This function might be called undo(). |
374 ///\todo This function might be called undo(). |