(update)
| 240 | } |
| 241 | |
| 242 | update(update) { |
| 243 | if ( |
| 244 | update.docChanged || |
| 245 | update.viewportChanged || |
| 246 | update.startState.field(foldState) !== update.state.field(foldState) |
| 247 | ) { |
| 248 | this.decorations = this.buildDecos(update.view); |
| 249 | } |
| 250 | } |
| 251 | |
| 252 | buildDecos(view) { |
| 253 | const builder = []; |
no test coverage detected