// Change task's priority to be between other tasks a and b.
setPriority: function (task: Element, a: Element | null, b: Element | null) {
const aPriority = a === null ? 0 : Model.getPriority(a);
// Change task's priority to be between other tasks a and b.
setPriority: function (task: Element, a: Element | null, b: Element | null) {
const aPriority = a === null ? 0 : Model.getPriority(a);