patcher/patcher.js
function onPatchesNotify(patches) {
		// we are going to collect all patches
		this.patches.push.apply(this.patches, patches);
		// TODO: share priority
		queues.deriveQueue.enqueue(this.onPatchesDerive, this, [], {
			priority: this.priority
		});
	}
function onPatchesNotify(patches) {
		// we are going to collect all patches
		this.patches.push.apply(this.patches, patches);
		// TODO: share priority
		queues.deriveQueue.enqueue(this.onPatchesDerive, this, [], {
			priority: this.priority
		});
	}
function onPatchesNotify ( patches ) { // we are going to collect all patches this . patches . push . apply ( this . patches , patches ) ; // TODO: share priority queues . deriveQueue . enqueue ( this . onPatchesDerive , this , [ ] , { priority : this . priority } ) ; }
This is when we get notified of patches on the underlying list. Save the patches and queue up a `derive` task that will call `domUI` updates.
This is when we get notified of patches on the underlying list . Save the patches and queue up a derive task that will call domUI updates .