Am 19.02.2023 um 23:30 schrieb Hélio Guilherme:
I see the code using it at +233 gui/about.c.
But I don't know how to activate it. I did try to find an About dialog
from script editor, but there is not. We can see that it swaps with
the News button in the About dialog.
Thanks, Hélio. I think that's because it concerns a new/separate editor
program which is not the same thing as the embedded script editor from
the main gretl GUI program. The new program is not built by default (I
think) and also not distributed on Windows yet AFAIK. Are you on Linux?
cheers
sven