Re: Clone issue

2022-01-01 Thread Joel Kulesza
On Sat, Jan 1, 2022 at 1:10 PM Baris Erkus wrote: > On 01-Jan-22 11:02 PM, Joel Kulesza wrote: > > > > On Sat, Jan 1, 2022 at 12:54 PM Baris Erkus > wrote: > >> On 01-Jan-22 8:24 PM, Joel Kulesza wrote: >> >> On Sat, Jan 1, 2022 at 10:05 AM Baris Erkus >> wrote: >> >>> On 01-Jan-22 7:17 PM,

Re: Clone issue

2022-01-01 Thread Baris Erkus
On 01-Jan-22 11:02 PM, Joel Kulesza wrote: On Sat, Jan 1, 2022 at 12:54 PM Baris Erkus wrote: On 01-Jan-22 8:24 PM, Joel Kulesza wrote: On Sat, Jan 1, 2022 at 10:05 AM Baris Erkus wrote: On 01-Jan-22 7:17 PM, Kornel Benko wrote: > Am Sat, 1 Jan 2022 19:11:38

Re: Clone issue

2022-01-01 Thread Joel Kulesza
On Sat, Jan 1, 2022 at 12:54 PM Baris Erkus wrote: > On 01-Jan-22 8:24 PM, Joel Kulesza wrote: > > On Sat, Jan 1, 2022 at 10:05 AM Baris Erkus > wrote: > >> On 01-Jan-22 7:17 PM, Kornel Benko wrote: >> > Am Sat, 1 Jan 2022 19:11:38 +0300 >> > schrieb Baris Erkus : >> > >> >> I am having

Re: Clone issue

2022-01-01 Thread Baris Erkus
On 01-Jan-22 8:24 PM, Joel Kulesza wrote: On Sat, Jan 1, 2022 at 10:05 AM Baris Erkus wrote: On 01-Jan-22 7:17 PM, Kornel Benko wrote: > Am Sat, 1 Jan 2022 19:11:38 +0300 > schrieb Baris Erkus : > >> I am having difficulty to clone the repo with the following command:

Re: [LyX/master] Fix font inside footnote inset

2022-01-01 Thread Richard Kimberly Heck
On 12/31/21 07:11, Jean-Marc Lasgouttes wrote: commit 0789f2f2ae43742da200a27f10403f4c6a68713d Author: Jean-Marc Lasgouttes Date: Fri Dec 3 12:16:40 2021 +0100 Fix font inside footnote inset An inset that resets its font (like Footnote) does not care at all about

Re: Quick newbie question

2022-01-01 Thread Lorenzo Bertini
Il 01/01/22 17:54, Lorenzo Bertini ha scritto: Dear list, I found a bug and needed to bisect, so i moved back HEAD to an old commit, then configured and built. I went back to master and can't build anymore because its missing `nod.hpp` file; no git command seems to restore this file (git

Re: Clone issue

2022-01-01 Thread Joel Kulesza
On Sat, Jan 1, 2022 at 10:05 AM Baris Erkus wrote: > On 01-Jan-22 7:17 PM, Kornel Benko wrote: > > Am Sat, 1 Jan 2022 19:11:38 +0300 > > schrieb Baris Erkus : > > > >> I am having difficulty to clone the repo with the following command: > >> > >> git clone git://git.lyx.org/lyx > >> > >> or > >>

Re: Clone issue

2022-01-01 Thread Kornel Benko
Am Sat, 1 Jan 2022 20:05:00 +0300 schrieb Baris Erkus : > On 01-Jan-22 7:17 PM, Kornel Benko wrote: > > Am Sat, 1 Jan 2022 19:11:38 +0300 > > schrieb Baris Erkus : > > > >> I am having difficulty to clone the repo with the following command: > >> > >> git clone git://git.lyx.org/lyx > >> > >>

Re: Clone issue

2022-01-01 Thread Baris Erkus
On 01-Jan-22 7:17 PM, Kornel Benko wrote: Am Sat, 1 Jan 2022 19:11:38 +0300 schrieb Baris Erkus : I am having difficulty to clone the repo with the following command: git clone git://git.lyx.org/lyx or git clone git://git.lyx.org/lyx.git The error is fatal: repository

Quick newbie question

2022-01-01 Thread Lorenzo Bertini
Dear list, I found a bug and needed to bisect, so i moved back HEAD to an old commit, then configured and built. I went back to master and can't build anymore because its missing `nod.hpp` file; no git command seems to restore this file (git reset --hard, creating a new master branch

Re: Text entered at different place than cursor

2022-01-01 Thread Kornel Benko
Am Sat, 1 Jan 2022 17:13:04 +0100 schrieb Jean-Marc Lasgouttes : > Le 01/01/2022 à 15:09, Kornel Benko a écrit : > >> Open the example. > >> Close comment. > >> You see the space before the comment. > >> Place cursor behind the space (but before the comment). > >> Open comment => cursor is moved

Re: Clone issue

2022-01-01 Thread Kornel Benko
Am Sat, 1 Jan 2022 19:11:38 +0300 schrieb Baris Erkus : > I am having difficulty to clone the repo with the following command: > > git clone git://git.lyx.org/lyx > > or > > git clone git://git.lyx.org/lyx.git > > The error is > > fatal: repository 'https://git.lyx.org/lyx.git/' not found >

Re: Text entered at different place than cursor

2022-01-01 Thread Jean-Marc Lasgouttes
Le 01/01/2022 à 15:09, Kornel Benko a écrit : Open the example. Close comment. You see the space before the comment. Place cursor behind the space (but before the comment). Open comment => cursor is moved into comment. Forget it. Opening the comment via right-click works as expected. Indeed

Clone issue

2022-01-01 Thread Baris Erkus
I am having difficulty to clone the repo with the following command: git clone git://git.lyx.org/lyx or git clone git://git.lyx.org/lyx.git The error is fatal: repository 'https://git.lyx.org/lyx.git/' not found For now, I have cloned the unofficial git repo from github and was able to

Re: Text entered at different place than cursor

2022-01-01 Thread Kornel Benko
Am Sat, 1 Jan 2022 14:44:17 +0100 schrieb Kornel Benko : > Am Sat, 1 Jan 2022 14:06:53 +0100 > schrieb Jean-Marc Lasgouttes : > > > Le 15/12/2021 à 13:51, Scott Kostyshak a écrit : > > > In the attached example, there is a space between the main text and the > > > note inset. If I put the

Re: Text entered at different place than cursor

2022-01-01 Thread Kornel Benko
Am Sat, 1 Jan 2022 14:06:53 +0100 schrieb Jean-Marc Lasgouttes : > Le 15/12/2021 à 13:51, Scott Kostyshak a écrit : > > In the attached example, there is a space between the main text and the > > note inset. If I put the cursor at the end of the second visual line > > (see the screenshot for what

Re: Text entered at different place than cursor

2022-01-01 Thread Jean-Marc Lasgouttes
Le 15/12/2021 à 13:51, Scott Kostyshak a écrit : In the attached example, there is a space between the main text and the note inset. If I put the cursor at the end of the second visual line (see the screenshot for what I refer to visual lines), it appears to be after the space, but if I enter

Re: Why do we add converters in frontends GuiPrefs.cpp?

2022-01-01 Thread Jean-Marc Lasgouttes
Le 28/12/2021 à 14:07, José Abílio Matos a écrit : Hi all,   while searching in order to solve the python issues, I searched for all the occurrences of "$$o" in src/ $ grep -r '$$o' src/* The only case where I was surprised were the case of frontends GuiPrefs.cpp: [...] Does any one