ea>
    </label>
    <script type="module">
        const settings = {
            fontSize: 12,
            widthMode: 'proportional',
            locale: 'zh-hans',
        }
        const json = localStorage.getItem('settings:playground')
        if (json) {
            Object.assign(settings, JSON.parse(json))
        }

        const inputBox = document.getElementById('input-box')

        window.applySettings = () => {
            localStorage.setItem('settings:playground', JSON.stringify(settings))
 