Le 27/04/2017 à 18:15, Tilman Hausherr a écrit :
So, would this help you?public Set<Integer>getPageIndices() { return labels.keySet(); }
Perfect! (Possibly also with a (javadoc) guarantee about the ascending iteration order over the set contents, if that’s easy to provide.)
Olivier --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
