Add user available functions to open a URL in a web browser #4272
Open
Description
opened on Feb 18, 2021
We already go through a lot of effort to set HELP_VIEWER_INFO.browser
to a function like this for HTML; but I know that the very least, the numericalsgps package by @pedritomelenas and friends needs such functionality, see https://github.com/gap-packages/numericalsgps/blob/231329432a3e6e651cfc8e719271ccb23ae973a7/gap/dot.gi#L62-L68 -- but I also think other uses might exist.
So, let's expose it through a dedicated function, say OpenURLInBrowser(url)
. Shouldn't be too hard (most work is a writing a reference manual entry for it)
One could do the same for PDFs, too, I guess...
Activity