()
| 362 | } |
| 363 | |
| 364 | public detachSelection(): SelectionStorage { |
| 365 | return new SelectionStorage(this.state.selection.detachSelection()); |
| 366 | } |
| 367 | |
| 368 | public adaptSelection(rememberedSelection: SelectionStorage): SelectionStorage { |
| 369 | if (!this.graph.nodeMap || !(rememberedSelection instanceof SelectionStorage)) { |