glok-core/uk.co.nickthecoder.glok.text/FindAndReplace/loopProperty

loopProperty

val loopProperty: BooleanProperty

When moving to the next/prev match, should we allow looping back round to the first/last match?