Skip to content
This repository has been archived by the owner on Aug 28, 2020. It is now read-only.

RichDisplayRunOptions.jump - Allow jumping to info page. #907

Open
sustained opened this issue Jan 20, 2020 · 0 comments
Open

RichDisplayRunOptions.jump - Allow jumping to info page. #907

sustained opened this issue Jan 20, 2020 · 0 comments
Assignees

Comments

@sustained
Copy link

Describe your proposal

I think we should be able to jump to the info page. We can jump to any other numbered page, after all.

Use-Cases for your proposal

I think it's a common use-case that you might want to use the info page as a sort of "disambiguation page" e.g.:

Sorry we didn't find an exact match for your query, but we found these matching items: foo, foof, floof.

You can navigate between them using the buttons below.

Expected and actual behavior

Further details

I realise that we can achieve this by just adding the "disambiguation page" as the first page but surely the proposal still makes sense?

Perhaps the info page can be a special case (e.g. -1 or 0), then the parameter can remain a number?

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants