(folderSelect, preferredFolder)
| 252 | } |
| 253 | |
| 254 | function selectPreferredFolderOption(folderSelect, preferredFolder) { |
| 255 | if (!folderSelect || !preferredFolder) return; |
| 256 | const options = Array.from(folderSelect.options || []); |
| 257 | const match = options.find(opt => opt.value === preferredFolder); |
| 258 | if (match) folderSelect.value = preferredFolder; |
| 259 | } |
| 260 | |
| 261 | function markPaneNeedsReloadForFolder(folder, sourceId = "") { |
| 262 | if (!window.dualPaneEnabled || !window.__frPaneState || !folder) return; |
no outgoing calls
no test coverage detected