, {
                    value: JSON.stringify(JSON.parse(data.save), null, 2), // Pre-format JSON once
                    mode: {name: "javascript", json: true},
                    lineNumbers: true,
                    theme: document.getElementById('darkModeToggle').checked ? 'simpsons-dark' : 'default',
                    lineWrapping: false,  // Disable line wrapping for better performance
                    viewportMargin: 10,   // Reduce viewport margin
                    indentUnit: 2,
         