(t: SQLEditorTab)
| 226 | .filter((t): t is SQLEditorTab => !!t); |
| 227 | const max = snapshot.length - 1; |
| 228 | const remove = async (t: SQLEditorTab) => { |
| 229 | await removeTab(t, true); |
| 230 | await new Promise((r) => requestAnimationFrame(r)); |
| 231 | }; |
| 232 | switch (action as CloseTabAction) { |
| 233 | case "CLOSE": |
| 234 | await remove(tab); |