Re: Reverse search with Skim broken again

2019-06-04 Thread list_email
> On Jun 2, 2019, at 2:50 AM, Enrico Forestieri wrote: > > On Sat, Jun 01, 2019 at 02:30:30PM -0700, list_em...@icloud.com wrote: >> >> I found the problem—it was a broken LyX pipe or something like that. >> (I don’t understand this well.) I discovered that when LyX quit it was >> leaving .lyx

Re: Reverse search with Skim broken again

2019-06-02 Thread Enrico Forestieri
On Sat, Jun 01, 2019 at 02:30:30PM -0700, list_em...@icloud.com wrote: > > I found the problem—it was a broken LyX pipe or something like that. > (I don’t understand this well.) I discovered that when LyX quit it was > leaving .lyxpipe.in and .lyxpipe.out and the LyX wiki says that these > should

Re: Reverse search with Skim broken again

2019-06-01 Thread list_email
> On May 1, 2019, at 3:15 AM, list_em...@icloud.com wrote: > > I once again find that reverse search using Skim and LyX on macOS doesn’t > work. LyX 2.3.2, Skim 1.4.40. Forward search works but when reverse search is > attempted, LyX moves to the front but does not move the cursor and does not

Re: Reverse search with Skim broken again

2019-05-04 Thread Daniel
On 2019-05-01 12:15, list_em...@icloud.com wrote: I once again find that reverse search using Skim and LyX on macOS doesn’t work. LyX 2.3.2, Skim 1.4.40. Forward search works but when reverse search is attempted, LyX moves to the front but does not move the cursor and does not scroll the windo

Reverse search with Skim broken again

2019-05-01 Thread list_email
I once again find that reverse search using Skim and LyX on macOS doesn’t work. LyX 2.3.2, Skim 1.4.40. Forward search works but when reverse search is attempted, LyX moves to the front but does not move the cursor and does not scroll the window contents. I don’t remember when this last worked