{{-- Line-numbered JSON textarea. Pass: name, value, required (bool), id (optional) --}}
@php
    $editorId = $id ?? ('fwp-json-' . preg_replace('/[^a-z0-9_-]/i', '-', $name));
@endphp
<div class="fwp-json-editor" data-fwp-json-editor>
    <div class="fwp-json-editor__gutter" aria-hidden="true"></div>
    <textarea
        id="{{ $editorId }}"
        name="{{ $name }}"
        class="form-control fwp-json-editor__input"
        spellcheck="false"
        @if (!empty($required)) required @endif
    >{{ $value ?? '' }}</textarea>
</div>