Why do we add converters in frontends GuiPrefs.cpp?

[José Abílio Matos]

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.
-- 
José Abílio
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20220201/9246cbcd/attachment.html>