| 51 | } |
| 52 | |
| 53 | export function endCrossPanelDrag() { |
| 54 | store.update((state) => { |
| 55 | state.active = false; |
| 56 | state.sourcePanelId = undefined; |
| 57 | state.draggedTabs = []; |
| 58 | state.sourceTabIndex = 0; |
| 59 | state.draggingGroup = false; |
| 60 | state.hoverTargetPanelId = undefined; |
| 61 | state.hoverInsertionIndex = undefined; |
| 62 | state.hoverInsertionMarkerLeft = undefined; |
| 63 | state.hoverDockingPanelId = undefined; |
| 64 | state.hoverDockingEdge = undefined; |
| 65 | return state; |
| 66 | }); |
| 67 | } |
| 68 | |
| 69 | export function updateCrossPanelHover(hoverTargetPanelId: string | undefined, hoverInsertionIndex: number | undefined, hoverInsertionMarkerLeft: number | undefined) { |
| 70 | store.update((state) => { |