(file)
| 2806 | } |
| 2807 | |
| 2808 | function getDiagnosticStateForFile(file) { |
| 2809 | if (!file || file.type !== "editor") return null; |
| 2810 | if (manager.activeFile?.id === file.id && editor?.state) { |
| 2811 | return editor.state; |
| 2812 | } |
| 2813 | return file.session || null; |
| 2814 | } |
| 2815 | |
| 2816 | /** |
| 2817 | * Updates the side button container based on the value of `showSideButtons` in `appSettings`. |