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 knows why we are injecting these calls manually there?
Hi José,
These are forward search commands. These could probably be done in
configure script instead.
JMarc
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
