diff src/bootstrap-feature-extraction-worker.js @ 467:b963af7e6eaf

Clear undo history ahead of read pointer when updating the history.
author Lucas Thompson <dev@lucas.im>
date Fri, 30 Jun 2017 15:27:56 +0100
parents 103cc6f63da1
children
line wrap: on
line diff