| 67 | } |
| 68 | |
| 69 | export function updateCrossPanelHover(hoverTargetPanelId: string | undefined, hoverInsertionIndex: number | undefined, hoverInsertionMarkerLeft: number | undefined) { |
| 70 | store.update((state) => { |
| 71 | state.hoverTargetPanelId = hoverTargetPanelId; |
| 72 | state.hoverInsertionIndex = hoverInsertionIndex; |
| 73 | state.hoverInsertionMarkerLeft = hoverInsertionMarkerLeft; |
| 74 | // Clear docking state when hovering a tab bar |
| 75 | state.hoverDockingPanelId = undefined; |
| 76 | state.hoverDockingEdge = undefined; |
| 77 | return state; |
| 78 | }); |
| 79 | } |
| 80 | |
| 81 | export function updateDockingHover(panelId: string | undefined, edge: DockingEdge | undefined) { |
| 82 | store.update((state) => { |