Re: [Patch] Fix bug 3719: TOC skip-to points out of sync with document

2007-07-11 Thread Abdelrazak Younes
José Matos wrote: On Wednesday 11 July 2007 14:07:18 Abdelrazak Younes wrote: This patch is very very safe and fixes a crash. Abdel. OK. Done, with some more cleanups in buffer_funcs. Abdel.

Re: [Patch] Fix bug 3719: TOC skip-to points out of sync with document

2007-07-11 Thread Abdelrazak Younes
Abdelrazak Younes wrote: http://bugzilla.lyx.org/show_bug.cgi?id=3719 As explained in bugzilla, the problem is that the full toc is not regenerated when creating standard (i.e unnembered) paragraph. As the TocBackEnd use ParIterator for in buffer jumps, this can get out of sync. The partial up

Re: [Patch] Fix bug 3719: TOC skip-to points out of sync with document

2007-07-11 Thread José Matos
On Wednesday 11 July 2007 14:07:18 Abdelrazak Younes wrote: > This patch is very very safe and fixes a crash. > > Abdel. OK. -- José Abílio

[Patch] Fix bug 3719: TOC skip-to points out of sync with document

2007-07-11 Thread Abdelrazak Younes
http://bugzilla.lyx.org/show_bug.cgi?id=3719 As explained in bugzilla, the problem is that the full toc is not regenerated when creating standard (i.e unnembered) paragraph. As the TocBackEnd use ParIterator for in buffer jumps, this can get out of sync. The partial updateLabel() is my doing an