()
| 1744 | } |
| 1745 | |
| 1746 | function refreshSourceBadges() { |
| 1747 | ensurePaneState(); |
| 1748 | const active = normalizePaneKey(window.activePane); |
| 1749 | const other = active === 'secondary' ? 'primary' : 'secondary'; |
| 1750 | setSourceBadge(document.getElementById('fileListTitle'), getPaneSourceId(active)); |
| 1751 | setSourceBadge(document.getElementById('fileListTitleSecondary'), getPaneSourceId(other)); |
| 1752 | } |
| 1753 | |
| 1754 | try { window.__frRefreshSourceBadges = refreshSourceBadges; } catch (e) { /* ignore */ } |
| 1755 |
no test coverage detected