Skip to content

Add user available functions to open a URL in a web browser #4272

Open
@fingolfin

Description

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

    Labels

    gapdays2021-springIssues and PRs that could be tackled or discussed at https://www.gapdays.de/gapdays2021-springgood first issueIssues that can be understood and addressed by newcomers to GAP developmentkind: enhancementLabel for issues suggesting enhancements; and for pull requests implementing enhancements

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions