var class_paging_seal_config =
[
    [ "firstPagePercent", "class_paging_seal_config.html#aed13a592ebb73cc1571c0e6fe289f6dc", null ],
    [ "offset", "class_paging_seal_config.html#aa9ea5d0171983405385594db56591e34", null ],
    [ "position", "class_paging_seal_config.html#ac29bd5230a6c48f4fea801252c7ce1f7", null ]
];