()
| 551 | * Open the “New File” modal |
| 552 | */ |
| 553 | export function openCreateFileModal() { |
| 554 | const modal = document.getElementById('createFileModal'); |
| 555 | const input = document.getElementById('createFileNameInput'); |
| 556 | if (!modal || !input) { |
| 557 | console.error('Create-file modal or input not found'); |
| 558 | return; |
| 559 | } |
| 560 | input.value = ''; |
| 561 | modal.style.display = 'block'; |
| 562 | setTimeout(() => input.focus(), 0); |
| 563 | } |
| 564 | |
| 565 | |
| 566 | export async function handleCreateFile(e) { |
no outgoing calls
no test coverage detected