161162163164165166167168169170171
} v_prev = v1; layout.initialize(); relaxer.resume(); layout.lock(false); } else { done = true; }