From 7f5b9e42cc4db6f8b166d6e3f78e78fc916e1095 Mon Sep 17 00:00:00 2001 From: William Date: Wed, 17 Aug 2022 16:35:41 +0100 Subject: [PATCH] v1.0.3 - Add options to customize no. of page jumper buttons --- .idea/workspace.xml | 19 +++++++++++++------ .../william278/paginedown/ListOptions.java | 16 ++++++++++++++++ .../william278/paginedown/PaginatedList.java | 2 +- .../paginedown/PaginatedListTests.java | 6 ++++++ 4 files changed, 36 insertions(+), 7 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index e6add69..7f54a80 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -4,12 +4,10 @@