Why do we add converters in frontends GuiPrefs.cpp?

[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 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