equal
deleted
inserted
replaced
110 |
110 |
111 x0 = this.cell[0] + this.box_size * start + this.box_size / 2; |
111 x0 = this.cell[0] + this.box_size * start + this.box_size / 2; |
112 y0 = this.bg[1] - this.bg_height / 2; |
112 y0 = this.bg[1] - this.bg_height / 2; |
113 x1 = this.cell[0] + this.box_size * end + this.box_size / 2; |
113 x1 = this.cell[0] + this.box_size * end + this.box_size / 2; |
114 y1 = this.bg[1] + this.bg_height / 2; |
114 y1 = this.bg[1] + this.bg_height / 2; |
115 |
115 // Width if exists |
|
116 if(line[3] && line[3]['width']){ |
|
117 this.ctx.lineWidth = line[3]['width']; |
|
118 } |
116 this.edge(x0, y0, x1, y1, color); |
119 this.edge(x0, y0, x1, y1, color); |
117 |
120 this.ctx.lineWidth = 1; |
118 } |
121 } |
119 |
122 |
120 // Draw the revision node in the right column |
123 // Draw the revision node in the right column |
121 |
124 |
122 column = node[0] |
125 column = node[0] |