Keyboard shortcuts and external IDs

[meisterT]

We have to think through whether we want to use internal or external IDs for keyboard shortcuts.

For example, for teams, when you type t42 you likely want to go to the team with external ID 42, currently we go to the internal ID.

Problematic part here is that external IDs can be more than just ints.

[nickygerritsen]

We are considering moving all URLs inside domserver to use external IDs, that would mean we need this.

[meisterT]

How will this work when we are not shadowing, how will the URLs look like them?

[nickygerritsen]

How will this work when we are not shadowing, how will the URLs look like them?

For submissions, exactly like now. For clarifications as well. For other endpoints they will use the string external id, which I think makes sense. So it will be /contest/demo

[meisterT]

We might consider for the j/k shortcuts to advance per internal ID of the same entity type in the same contest (currently we take it from the URL and do math there).

[nickygerritsen]

We might consider for the j/k shortcuts to advance per internal ID of the same entity type in the same contest (currently we take it from the URL and do math there).

Good point, can be a small generic ajax call for this :)

[nickygerritsen]

See also #3024