()
| 175 | } |
| 176 | |
| 177 | private updateBoxWidth() { |
| 178 | this.compute_view_padding(); |
| 179 | this.draw(); |
| 180 | } |
| 181 | |
| 182 | set_style_on_elements(style, indices) { |
| 183 | if (indices === undefined || indices.length === 0) { |
nothing calls this directly
no test coverage detected