void resetRegions(List<BaleRegion> rgns) { super.resetRegions(rgns); regions_valid = false; }
void reload() { super.reload(); // check regions base_document.checkWriteLock(); setupSpacing(); }