minuit

PaginationComponent

Page buttons with an ellipsis for the pages between.

Java

Inside a PanelComponent constructor. The same call draws in every family and chroma.

Java
PaginationComponent pages = add(new PaginationComponent(at(new Box("pages", 10, 150, 280, 16)), this, 240, 25, this::showPage)
        .pageSizes(10, 25, 50)
        .onPageSize(this::resize));
// ... the other widgets ...
add(pages.menu()); // last, for the list of sizes

Middle

PaginationComponent, middle