static compareByRenderingProps(a, b) {
        if (a.zIndex === b.zIndex) {
            if (a.color < b.color) {
                return -1;
            }
            if (a.color > b.color) {
                return 1;
            }
            return 0;
        }
        return a.zIndex - b.zIndex;
    }
Decorations are encoded in a number array using the following scheme:
 - 3*i = lane
 - 3*i+1 = startLineNumber
 - 3*i+2 = endLineNumber