Re: unable to navigate

2022-06-21 Thread Kornel Benko
Am Tue, 21 Jun 2022 22:40:07 +0200 schrieb Jean-Marc Lasgouttes : > Le 21/06/2022 à 12:55, Kornel Benko a écrit : > > Am Tue, 21 Jun 2022 10:59:40 +0200 > > schrieb Jean-Marc Lasgouttes : > > > >> Le 21/06/2022 à 10:36, Kornel Benko a écrit : > >>> But the point (from my POV) is: > >>> TOC

Re: unable to navigate

2022-06-21 Thread Jean-Marc Lasgouttes
Le 21/06/2022 à 12:55, Kornel Benko a écrit : Am Tue, 21 Jun 2022 10:59:40 +0200 schrieb Jean-Marc Lasgouttes : Le 21/06/2022 à 10:36, Kornel Benko a écrit : But the point (from my POV) is: TOC refers to the document work area, but does not react accordingly. Here is another possib

Re: unable to navigate

2022-06-21 Thread Kornel Benko
Am Tue, 21 Jun 2022 10:59:40 +0200 schrieb Jean-Marc Lasgouttes : > Le 21/06/2022 à 10:36, Kornel Benko a écrit : > > But the point (from my POV) is: > > TOC refers to the document work area, but does not react accordingly. > > I totally agree, but I have not found at this point where this

Re: unable to navigate

2022-06-21 Thread Jean-Marc Lasgouttes
Le 21/06/2022 à 10:36, Kornel Benko a écrit : But the point (from my POV) is: TOC refers to the document work area, but does not react accordingly. I totally agree, but I have not found at this point where this happens. We could try to have TocWidget dispatch to the document bufferview

Re: unable to navigate

2022-06-21 Thread Kornel Benko
Am Tue, 21 Jun 2022 09:12:02 +0200 schrieb Kornel Benko : > Am Mon, 20 Jun 2022 16:33:31 +0200 > schrieb Jean-Marc Lasgouttes : > > > Le 18/06/2022 à 11:12, Kornel Benko a écrit : > > > > > > To reproduce: > > > 1.) Open some big lyx-file > > > 2.) Open TOC > > > 3.) Open advanced search dialo

Re: unable to navigate

2022-06-21 Thread Kornel Benko
Am Mon, 20 Jun 2022 16:33:31 +0200 schrieb Jean-Marc Lasgouttes : > Le 18/06/2022 à 11:12, Kornel Benko a écrit : > > > > To reproduce: > > 1.) Open some big lyx-file > > 2.) Open TOC > > 3.) Open advanced search dialog > > 4.) Search for some existing string > > --> The page containing the