Searched refs:addChanges (Results 1 – 2 of 2) sorted by relevance
| /plugin/mizarverifiabledocs/dist/ | ||
| H A D | script.js | 1 …addChanges(r,o,l,i,e):e.selection&&(t=t.addSelection(e.startState.selection,o,l,i.newGroupDelay)),… method in anonymousFunction231e68f4ea00.t.anonymousObject231e68f413705.ln |
| H A D | script.js.map | 1 …addChanges(event, time, userEvent, config, tr);\n else if (tr.selection) state = state.addS… |