Why do we add converters in frontends GuiPrefs.cpp?

[Pavel Sanda]

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