>>789
ところでこのソースを見てくれ。こいつをどう思う?

function resetPriority(index, priority = 0.0) {
// プライオリティを再設定する。
var elem = _priorities.stopped.searchByName(index);
elem = _priorities.running.searchByName(index) if elem === void;
elem.value = priority;
_priorities.stopped.sort(function(lhs, rhs) {return lhs.value < rhs.value;}, true);
_priorities.running.sort(function(lhs, rhs) {return lhs.value < rhs.value;}, true);
}