Is there a name for this type of page navigation?
navigation, pagination, paging, user-interface
Solution
Answering to just clear up this question. I hereby declare that it has no official name.
I also hereby make up the name 'elided pagination' for it.
Problem
Just out of curiosity, is there a name for the kind of navigation I've been working on? It looks like this: `<<first <previous 1 2 3 4 5 [...] 20 next> last>>` i.e. navigation where you've got x pages, but you don't want to show x links, you want to limit the amount of space taken up, so you show y links at a time, and indicate the existence of the other pages with an elision. At some point in the middle, it would look like this: `<<first <previous [...] 8 9 10 11 12 [...] 20 next> last>>` with elisions on both sides.