Function hasTextOrFiles

docs/components/editor.js:326–330

(dt)

    // Drag-and-drop of text or .py files. Fires `drop`, not `paste`.
    const hasTextOrFiles = (dt) => {
        if (!dt) return false;
        const types = Array.from(dt.types || []);
        return types.includes('text/plain') || types.includes('Files');
    };
    ed.addEventListener('dragover', (e) => { if (hasTextOrFiles(e.dataTransfer)) e.preventDefault(); }, { signal });
    ed.addEventListener('drop', async (e) => {
        const dt = e.dataTransfer; if (!hasTextOrFiles(dt)) return;