(pane)
| 1799 | } |
| 1800 | |
| 1801 | function getPaneSourceId(pane) { |
| 1802 | try { |
| 1803 | const state = getPaneState(pane); |
| 1804 | if (state && state.sourceId) return state.sourceId; |
| 1805 | } catch (e) { /* ignore */ } |
| 1806 | const stored = readStoredPaneSource(pane); |
| 1807 | if (stored) return stored; |
| 1808 | return getGlobalActiveSourceId(); |
| 1809 | } |
| 1810 | |
| 1811 | function getActivePaneSourceId() { |
| 1812 | return getPaneSourceId(normalizePaneKey(window.activePane)); |
no test coverage detected