On Sunday, 2 January 2022 21.19.14 WET Pavel Sanda wrote:
> Most likely my doing.
> These are just suggestions in drop-down menu you can use or edit in
> your settings. I do not see much merit in moving it to configure
> (they are not automagically used).
>
> Pavel
That makes sense. Thank you.
On Sat, Jan 01, 2022 at 02:05:03PM +0100, Jean-Marc Lasgouttes wrote:
> >Does any one knows why we are injecting these calls manually there?
>
> These are forward search commands. These could probably be done in configure
> script instead.
Most likely my doing.
These are just suggestions in
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
On Tuesday, 28 December 2021 13.07.19 WET José Abílio Matos wrote:
> Does any one knows why we are injecting these calls manually there?
Actually the title is wrong we are adding viewers and not converters, but the
same question applies since they are already present in configure...
--
José
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:
$ grep '$$o' src/frontends/qt/GuiPrefs.cpp
dviCB->addItem("xdvi
