x, 1);
                
                // Remove DOM element with animation
                const element = document.getElementById(editorId);
                element.style.animation = 'slideIn 0.3s ease-out reverse';
                setTimeout(() => element.remove(), 300);
                
                updateStats();
                console.log(`Destroyed editor: ${editorId}`);
            }
        }
        
        function destroyAll() {
            const editors = [...editorInstances];
           