Le 28/04/2017 à 21:32, Tilman Hausherr a écrit :
    /**
     * Get an ordered set of page indices having a page label range.
     *
     * @return set of page indices.
     */
    public SortedSet<Integer> getPageIndices()


Please give feedback whether it works for you.
Perfect. Thanks. (Unrelatedly, it’s very handy that the snapshots are available through Maven.) (Nitpicking: have you considered NavigableSet instead of SortedSet? But for my purpose SortedSet is enough.)
Olivier


Tilman


---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to